Výsledky vyhledávání

Obálka

The logic of scientific discovery

Autor Popper, Karl R. (Karl Raimund), 1902-1994 Vydáno: 2002

Kniha

Obálka

Automated deduction - CADE-13 : 13th international conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

Vydáno: 1996

Kniha

Obálka

Semantics and logics of computation

Vydáno: 1997

Kniha

Obálka

First-order logic and automated theorem proving

Autor Fitting, Melvin, 1942- Vydáno: 1996

Kniha

Obálka

Principles of data mining and knowledge discovery : First European symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townswille, North Queensland, Australia, July 13-17, 1997

Vydáno: 1997

Kniha

Obálka

Computer science logic : 10th international workshop, CSL '96, annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996. Selected papers

Vydáno: 1997

Kniha

Obálka

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings

Vydáno: 1998

Kniha

Obálka

Automated deduction : CADE-16. 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999. Proceedings

Vydáno: 1999

Kniha

Obálka

Computational intelligence : a logical approach

Autor Poole, David Vydáno: 1998

Kniha

Obálka

Automated deduction in classical and non-classical logics : Selected papers

Autor Caferra, Ricardo Vydáno: 2000

Kniha

Obálka

MICAI 2000 : Advances in artificial intelligence. Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

Vydáno: 2000

Kniha

Obálka

Challenges for action theories

Autor Thielscher, Michael Vydáno: 2000

Kniha

Obálka

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000. Proceedings

Vydáno: 2000

Kniha

Obálka

Computational logic : CL 2000. First international conference, London, UK, July 24-28, 2000. Proceedings

Vydáno: 2000

Kniha

Obálka

Logistické systémy

Autor Štěpán, Jan, 1948- Vydáno: 1992

Kniha

Obálka

Vivid logic : Knowledge-based reasoning with two kinds of negation

Autor Wagner, Gerd, 1957- Vydáno: 1994

Kniha

Obálka

Elements of causal inference : foundations and learning algorithms

Autor Peters, Jonas, 1984- Vydáno: 2017

Kniha

Obálka

A concise introduction to pure mathematics

Autor Liebeck, M. W. (Martin W.), 1954- Vydáno: 2016

Kniha