Author books / Книги автора Matthias Baaz Alexander Leitsch (auth.) Franz Baader Andrei Voronkov (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Matthias Baaz Alexander Leitsch (auth.) Franz Baader Andrei Voronkov (eds.)

book Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

pdf

Author: Matthias Baaz Alexander Leitsch (auth.) Franz Baader Andrei Voronkov (eds.)
Language: English
Year: 2005

00

27.01.2024

2

0

book Automated Model Building

Automated Model Building

pdf

Author: Ricardo Caferra Alexander Leitsch Nicholas Peltier
Language: English
Year: 2004

00

27.01.2024

1

0

book Automated Model Building

Automated Model Building

pdf

Author: Ricardo Caferra Alexander Leitsch Nicholas Peltier
Language: English
Year: 2004

00

27.01.2024

0

0

book Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

pdf

Author: Matthias Baaz Alexander Leitsch Richard Zach (auth.) Hans Kleine Büning (eds.)
Language: English
Year: 1996

00

27.01.2024

1

0

book The Resolution Calculus

The Resolution Calculus

pdf

Author: Alexander Leitsch
Language: English
Year: 1997

00

27.01.2024

0

0

book Methods of cut-elimination

Methods of cut-elimination

pdf

Author: Matthias Baaz Alexander Leitsch.
Language: English
Year: 2011

00

27.01.2024

0

0

book Methods of Cut-elimination

Methods of Cut-elimination

pdf

Author: Alexander Leitsch Matthias Baaz
Language: English
Year: 2011

00

27.01.2024

0

0

book Methods of Cut-Elimination

Methods of Cut-Elimination

pdf

Author: Alexander Leitsch Matthias Baaz (auth.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Methods of Cut-Elimination

Methods of Cut-Elimination

pdf

Author: Alexander Leitsch Matthias Baaz (auth.)
Language: English
Year: 2011

00

27.01.2024

0

0

book 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

pdf

Author: Neil D. Jones (auth.) Rajeev Goré Alexander Leitsch Tobias Nipkow (eds.)
Language: English
Year: 2001

00

27.01.2024

2

0