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 3152128 obálek a 950683 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)
Rok: 1992
ISBN: 9780521417235
OKCZID: 110110801
Citace (dle ČSN ISO 690):
PADAWITZ, Peter. Deduction and declarative programming. Cambridge: Cambridge University Press, c1992. vi, 279 s. Cambridge Tracts in Theoretical Computer Science, 28.
Anotace
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.