Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
|
Philosophie |
178.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Non-Reflexive Logics, Non-Individuals, and the Philosophy of Quantum Mechanics: Essays in Honour of the Philosophy of Décio Krause
|
Philosophie |
178.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings
|
EDV / Informatik |
123.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
|
Schulbücher |
69.00 |
|
| Buch |
Sprache:
Englisch / Autor: Andrzej Indrzejczak / Einband: Kartoniert |
|
|
|
|
 |
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
|
Schulbücher |
90.00 |
|
| Buch |
Sprache:
Englisch / Autor: Andrzej Indrzejczak / Einband: Gebunden |
|
|
|
|
 |
Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings
|
EDV / Informatik |
90.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
|
Philosophie |
158.00 |
|
| Buch |
Sprache:
Englisch / Autor: Petr Cintula / Einband: Gebunden |
|
|
|
|
 |
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
|
EDV / Informatik |
102.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
|
Philosophie |
158.00 |
|
| Buch |
Sprache:
Englisch / Autor: Petr Cintula / Einband: Kartoniert |
|
|
|
|
 |
Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
|
EDV / Informatik |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
|
Philosophie |
178.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
Non-Reflexive Logics, Non-Individuals, and the Philosophy of Quantum Mechanics: Essays in Honour of the Philosophy of Décio Krause
|
Philosophie |
178.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
|
EDV / Informatik |
83.00 |
|
| Buch |
Sprache:
Englisch / Autor: Zhe Hou / Einband: Kartoniert |
|
|
|
|
 |
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21,
|
EDV / Informatik |
55.90 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
|
EDV / Informatik |
83.00 |
|
| Buch |
Sprache:
Englisch / Autor: Zhe Hou / Einband: Gebunden |
|
|
|
|
| / 1 |
Newsfeed | 
Facebook | 
Twitter
