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 2913107 obálek a 881084 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science)

Rok: 1996
ISBN: 9780521354356
OKCZID: 110111261

Citace (dle ČSN ISO 690):
MANZANO, María. Extensions of first-order logic. Cambridge: Cambridge University Press, c1996. xxii, 388 s. Cambridge Tracts in Theoretical Computer Science, 19.


Anotace

Upravit anotaci
 

This book introduces some extensions of classical first-order logic and applies them to reasoning about computer programs. The extensions considered are: second-order logic, many-sorted logic, w-logic, modal logic type theory and dynamic logic. These have wide applications in various areas of computer science, philosophy, natural language processing and artificial intelligence. Researchers in these areas will find this book a useful introduction and comparative treatment.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)