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

Registrovat »    Zapomenuté heslo?

Logic from computer science : proceedings of a Workshop held November 13-17, 1989

Rok: 1991.
ISBN: 9780387976679
OKCZID: 110077498

Citace (dle ČSN ISO 690):
MOSCHOVAKIS, Y. N., ed. Logic from computer science: proceedings of a Workshop held November 13-17, 1989. New York: Springer-Verlag, 1991. 608 s. Mathematical sciences research institute publications, 21.


Anotace

Upravit anotaci
 

Topics of this proceedings volume will include Computability and Complexity of Higher Type Functions by Stephen Cook, Logics for Termination and Correctness of Functional Programs by Solomon Feferman, Reals and Forcing with Elementary Topos by the well known mathematician, Saunders MacLane and Ieke Moerdijk, and Concurrent Computation as Game Playing by Anil Nerode.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)