Search Results

Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer Science, 798)

Roy Dyckhoff

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)

Jan Heering

KILLER SUDOKU Vol. 93: Collection of 100 different Killer Sudokus for Adults | Easy and Advanced | Perfectly to Improve Memory, Logic and Keep the Mind Sharp | One Puzzle per Page | Includes Solutions

Juega Con Tu Mente

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science) (2008-06-13)

Unknown Author

SAMURAI SUDOKU Vol. 93: Collection of 500 Puzzles Overlapping into 100 Samurai Style for Adults - Easy and Advanced - Perfectly to Improve Memory, Logic and Keep the Mind Sharp - One Puzzle per Page - Includes Solutions

Juega Con Tu Mente

Extensions of Logic Programming: 4th International Workshop, Elp '93, st Andrews, U.K., March 29-April 1, 1993 : Proceedings (Lecture Notes in Computer Science)

Scotland) Elp 9 (1993 University of St. Andrews

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Jan Heering

Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

Egon Börger

Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes in Computer Science 698)

George E. Andrews

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science)

Jeffrey J. Joyce

[(Logic Programming and Automated Reasoning: 4th International Conference, LPAR '93, St.Petersburg, Russia, July 13-20, 1993 - Proceedings )] [Author: Andrei Voronkov] [Nov-1999]

Unknown Author

Fuzzy Logic in Artificial Intelligence: IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science, 847)

Anca Ralescu

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (Lecture Notes in Computer Science, 780)

Jeffrey J. Joyce

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, ... 7-9 July 1993 (Workshops in Computing) (2013-10-04)

Unknown Author

[(Computer Science Logic: CSL '93, Swansea, United Kingdom, September 13-17, 1993 - Selected Papers 7th Workshop: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers )] [Author: Egon Börger] [Jul-1995]

Unknown Author

Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) (2008-06-13)

Unknown Author

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, ... 7–9 July 1993 (Workshops in Computing)

Yves Deville

Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science, 714)

Maurice Bruynooghe

Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science)

Egon Börger

[(Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993 - Proceedings )] [Author: Michael Fisher] [Feb-1995]

Unknown Author