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 3151651 obálek a 950616 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logic, algebra, and computation :International Summer School
Rok: 1991
ISBN: 9783540543152
OKCZID: 110054469
Citace (dle ČSN ISO 690):
BAUER, Friedrich L., ed. Logic, algebra, and computation: International Summer School. Berlin: Springer-Verlag, 1991. vi, 485 s. NATO ASI series. Ser. F: Computer and systems sciences, Vol. 79.
Anotace
The Marktoberdorf Summer Schools on Informatics were started in 1970 as Advanced Study Institutes under the sponsorship of NATO. At the schools, groups of top researchers in computing present their most recent results to an elite of advanced students and face their questions, criticism and suggestions. This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics. The volume contains ten papers, on computation and specification over abstract data types, deductive program synthesis, resolution, the pure lambda-calculus, normalization, logical and recursive complexity, the computation system of constructive type theory, modal logic, concurrency, and concurrent logic programming languages.