The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Computational Logic and Proof Theory: Third Kurt G�del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings / Edition 1

Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings / Edition 1

Barnes and Noble
Computational Logic / Edition 1

Computational Logic / Edition 1

Barnes and Noble
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings / Edition 1

Barnes and Noble
Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings / Edition 1

Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings / Edition 1

Barnes and Noble
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1

ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1

Barnes and Noble
Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 / Edition 1

Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 / Edition 1

Barnes and Noble
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / Edition 1

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / Edition 1

Barnes and Noble
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / Edition 1

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / Edition 1

Barnes and Noble
Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings / Edition 1

Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings / Edition 1

Barnes and Noble
Computational Learning Theory: Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings / Edition 1

Computational Learning Theory: Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings / Edition 1

Barnes and Noble
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983

Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983

Barnes and Noble
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / Edition 1

Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / Edition 1

Barnes and Noble
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1

Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1

Barnes and Noble
ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1

ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1

Barnes and Noble
Mathematical Logic and Theoretical Computer Science / Edition 1

Mathematical Logic and Theoretical Computer Science / Edition 1

Barnes and Noble
Mathematical Logic for Computer Science / Edition 3

Mathematical Logic for Computer Science / Edition 3

Barnes and Noble
Powered by Adeptmind