Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
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 |
|
|
|
|
 |
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
|
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 |
|
|
|
|
 |
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proce
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, Ap
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
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 |
|
|
|
|
 |
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, A
|
Schulbücher |
90.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logics for Concurrency: Structure versus Automata
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
|
EDV / Informatik |
109.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 1 |
Newsfeed | 
Facebook | 
Twitter
