Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

AvRajeev Gore,Alexander Leitsch

Engelska, 2014

631 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:2014-03-12
Format:Övrigt
Språk:Engelska
Antal sidor:728
Förlag:Springer
ISBN:9783662171196

Du kanske också är intresserad av

Automated Reasoning

Rajeev Gore, Alexander Leitsch, Tobias Nipkow

Häftad

1 094 kr

Advances in Modal Logic Volume 10

Rajeev Gore, Barteld Kooi, Agi Kurucz

Häftad

286 kr

Methods of Cut-Elimination

Matthias Baaz, Alexander Leitsch

Häftad

1 062 kr

Resolution Calculus

Alexander Leitsch

Häftad

534 kr

Automated Model Building

Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

Inbunden

1 589 kr

Computational Logic and Proof Theory

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Häftad

534 kr

Del 31

Automated Model Building

Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

Häftad

1 589 kr

Methods of Cut-Elimination

Matthias Baaz, Alexander Leitsch

Inbunden

1 062 kr

First-Order Schemata and Inductive Proof Analysis

Alexander Leitsch, David Michael Cerna, Anela Lolic

Inbunden

1 695 kr

Computational Logic and Proof Theory

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Häftad

534 kr

Företag, bibliotek eller offentlig verksamhet?

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Produktinformation

Du kanske också är intresserad av

Automated Reasoning

Advances in Modal Logic Volume 10

Methods of Cut-Elimination

Resolution Calculus

Automated Model Building

Computational Logic and Proof Theory

Automated Model Building

Methods of Cut-Elimination

First-Order Schemata and Inductive Proof Analysis

Computational Logic and Proof Theory

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration