Opis: From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

Summary goes here

Spremljeno u:

Bibliografski detalji
Format:	Knjiga
Jezik:	engleski
Teme:	Automatic theorem proving. Computer algorithms. Logic programming. Algorithms algorithms. Automatic theorem proving Computer algorithms Logic programming Formale Semantik Logischer Entwurf Programmierlogik Automatisches Beweisverfahren Logisch programmeren. Algorithms. Logic design. Programmation logique. Algorithmes. Structure logique.
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!