1. Home
  2. Medien
  3. Bücher
  4. Computational Logic and Proof Theory: Third Kurt Gdel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gdel ... Notes in Computer Science
  • #
  • #

Computational Logic and Proof Theory: Third Kurt Gdel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gdel ... Notes in Computer Science

53.49 EUR

Teilen:

Ähnliche Produkte

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II

139.09 EUR
Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems

53.49 EUR
Logic and Algorithms in Computational Linguistics 2018

Logic and Algorithms in Computational Linguistics 2018

149.79 EUR
Computational Logic and Proof Theory

Computational Logic and Proof Theory

53.49 EUR
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

48.14 EUR
Logic and Computational Complexity

Logic and Computational Complexity

53.49 EUR
Yu, Liang: Recursion Theory

Yu, Liang: Recursion Theory

143.84 EUR
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

53.49 EUR