Rezultati pretraživanja - Automatic (theorem OR teorem) proving Computer ((programi. OR program.) OR programa.)

Preporučene teme... za Vaše pretraživanje.

Automatic theorem proving 5 Logic programming 4 Artificial intelligence 3

Computer programming 1 Computer programs 1

Možda želite pretražiti i:
theorem » theories
proving » provinz , improving , providing

Slika naslovnice

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant

Slika naslovnice

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR...

Table of contents only
Publisher description

Slika naslovnice

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

Restricted to Springer LINK subscribers
Publisher description

Slika naslovnice

Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Publisher description

Slika naslovnice

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR...

Table of contents only
Restricted to SpringerLink subscribers
Publisher description