Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Michael R. Dransfield, Victor W. Marek (auth.), Enrico Giunchiglia, Armando Tacchella (eds.)
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Enrico Giunchiglia, Armando Tacchella
Introduction to mathematics of satisfiability
  • PDF
  • English
  • Year: 2009
  • Author: Victor W. Marek
The Logic Programming Paradigm: A 25-Year Perspective
  • PDF
  • English
  • Year: 1999
  • Author: Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini (auth.), Prof. Krzysztof R. Apt, Prof. Victor W. Marek, Prof. Mirek Truszczynski, Prof. David S. Warren (eds.)
Experimental Software Engineering Issues: Critical Assessment and Future Directions: International Workshop Dagstuhl Castle, Germany, September 14–18, 1992 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Victor R. Basili (auth.), H. Dieter Rombach, Victor R. Basili, Richard W. Selby (eds.)
Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzisław Pawlak, Part II
  • PDF
  • English
  • Year: 2007
  • Author: Andrzej Czyzewski (auth.), James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orłowska, Roman Słowiński, Wojciech Ziarko (eds.)
Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzisław Pawlak, Part II
  • PDF
  • English
  • Year: 2007
  • Author: Andrzej Czyzewski (auth.), James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orłowska, Roman Słowiński, Wojciech Ziarko (eds.)
Science Education and Culture: The Contribution of History and Philosophy of Science
  • PDF
  • English
  • Year: 2001
  • Author: J. L. Heilbron (auth.), Fabio Bevilacqua, Enrico Giannetto, Michael R. Matthews (eds.)
Perspectives in Analysis: Essays in Honor of Lennart Carleson’s 75th Birthday
  • PDF
  • English
  • Year: 2005
  • Author: Enrico Bombieri (auth.), Michael Benedicks, Peter W. Jones, Stanislav Smirnov, Björn Winckler (eds.)
The Business Cycle: Theories and Evidence: Proceedings of the Sixteenth Annual Economic Policy Conference of the Federal Reserve Bank of St. Louis
  • PDF
  • English
  • Year: 1992
  • Author: Victor Zarnowitz (auth.), Michael T. Belongia, Michelle R. Garfinkel (eds.)
search