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

Registrovat »    Zapomenuté heslo?

Lambda-kalkul

Autor: Zlatuška, Jiří
Rok: 1993
ISBN: 9788021008267
NKP-CNB: cnb000084994
OCLC Number: (OCoLC)39603912
OKCZID: 110280255
Vydání: 1. vyd.

Citace (dle ČSN ISO 690):
ZLATUŠKA, Jiří. Lambda-kalkul. 1. vyd. Brno: Masarykova univerzita, 1993, 264 s. ISBN 80-210-0826-1.


Anotace

Upravit anotaci
 

Základy čistého i typovaného lambda-kalkulu, kombinatorické logiky a konstrukce odpovídajících matematických modelů.

Zdroj anotace: NK ČR



Přidat komentář a hodnocení

Od: (127.0.0...)