Jump to main content

yr 〜
yr

Search results 9

Methods of cut-elimination

Methods of cut-elimination
Paper図書
Matthias Baaz, Alexander LeitschSpringerc2011
Other Libraries in Japan
  • Author HeadingBaaz, Matthias Leitsch, Alexander

Methods of cut-elimination : pbk.

Methods of cut-elimination : pbk.
Paper図書
Matthias Baaz, Alexander LeitschSpringer2011
Other Libraries in Japan
  • Author HeadingBaaz, Matthias Leitsch, Alexander

Automated model building

Automated model building
Paper図書
by Ricardo Caferra, Alexander Leitsch and Nicholas PeltierKluwerc2004
Other Libraries in Japan
  • Author HeadingCaferra, Ricardo Leitsch, Alexander Peltier, Nicholas

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings
Paper図書
Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingIJCAR Goré, Rajeev Leitsch, Alexander Nipkow, Tobias

The resolution calculus

The resolution calculus
Paper図書
Alexander LeitschSpringerc1997
Other Libraries in Japan
  • Author HeadingLeitsch, Alexander

Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings : pbk

Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings : pbk
Paper図書
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)Springerc1997
Other Libraries in Japan
  • Author HeadingKurt Gödel Colloquium Gottlob, Georg Leitsch, Alexander Mundici, Daniele

Automated reasoning : first international joint conference, IJCAR 2001 : Siena, Italy, June 18-22, 2001 : proceedings. : Jun 2001, Siena, Italy. (Lecture Notes in Computer Science ; 2083. Lecture Notes in Artificial Intelligence)

Automated reasoning : first international joint conference, IJCAR 2001 : Siena, Italy, June 18-22, 2001 : proceedings. : Jun 2001, Siena, Italy. (Lecture Notes in Computer Science ; 2083. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2001.<M17-03-4721>
National Diet Library
  • Author HeadingGoré, Rajeev. Leitsch, Alexander, 1952- Nipkow, Tobias, 1958- ...

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings : us : gw

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings : us : gw
Paper図書
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingKurt Gödel Colloquium Gottlob, Georg Leitsch, Alexander Mundici, Daniele Kurt Gödel S...

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds. (Lecture notes in computer science)

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlag1993.<M15-A9002>
National Diet Library
  • Author Heading...ob, G. (Georg) Leitsch, Alexander, 1952- Mundici, Daniele, 1946...

Reached to the end of result.

RSS