Autor:	Otth, Daniel
Jazyk:	angličtina
Rok vydání:	1992
Předmět:	THEORIE DER TYPEN (MATHEMATISCHE LOGIK) GRAPHENTHEORIE (MATHEMATIK) THEORY OF TYPES (MATHEMATICAL LOGIC) CONSISTENCY (SOFTWARE ENGINEERING) Data processing computer science SPEZIELLE ALGEBREN (ALGEBRA) COMBINATORY LOGIC (MATHEMATICS) GRAPH THEORY (MATHEMATICS) FOS: Mathematics DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) KONSISTENZ (SOFTWARE ENGINEERING) KOMBINATORISCHE LOGIK (MATHEMATIK) SPECIAL ALGEBRAS (ALGEBRA) DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS) Mathematics
DOI:	10.3929/ethz-a-000646491
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c4ac67e7e3447448dcbe8b32c4ba0cb2 Zobrazit plný text záznamu