Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.

Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2904735 obálek a 876171 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

From Logic Programming to Prolog

Rok: 1996
ISBN: 9780132303682
OKCZID: 110106238

Citace (dle ČSN ISO 690):
APT, Krzysztof R. From logic programming to Prolog. London: Prentice-Hall, 1997. xviii, 328 s. Prentice-Hall international series in computer science, Prentice-Hall international series in computer science.


Anotace

Upravit anotaci
 

A unique publication that provides an introduction to the theory of logic programming and its application to Prolog programs. Covers programming issues such as termination, occur-check freedom, partial correctness and absence of runtime errors. Paper. DLC: Logic programming.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)