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 3150311 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Lambda-kalkul
Autor: Zlatuška, Jiří
Rok: 1993
ISBN: 9788021008267
NKP-CNB: cnb000084994
OCLC Number: (OCoLC)39603912
OCLC Number: (ocolc)39603912
OKCZID: 110280255
Vydání: 1. vyd.
Půjčte si tento titul v knihovně přes portál Knihovny.cz
Citace (dle ČSN ISO 690):
ZLATUŠKA, Jiří. Lambda-kalkul. 1. vyd. Brno: Masarykova univerzita, 1993, 264 s. ISBN 80-210-0826-1.
Anotace
Základy čistého i typovaného lambda-kalkulu, kombinatorické logiky a konstrukce odpovídajících matematických modelů.
Zdroj anotace: Národní knihovna v Praze