Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	September 1997
Genre:	Philosophie
	ArtificialIntelligence / Computerlinguistik und Korpuslinguistik / intelligence / Künstliche Intelligenz (KI) / Linguistics / Logic / modallogic / Philosophie# Logik / ProofTheory / Syntax mehr...
ISBN:	9780792347118
EAN-Code:	9780792347118
Verlag:	Springer
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 241 mm / B 160 mm / D 22 mm
Gewicht:	635 gr
Seiten:	312
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Identifies important developments in intensional logic, a branch of logic with applications in linguistics, cognitive science, artificial intelligence, philosophy, and computer science. The main themes of this book are proof theory, descriptive uses, applications, and foundations of intensional logic.