Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Dezember 2010
Genre:	Philosophie
	ArtificialIntelligence / Computerlinguistik und Korpuslinguistik / intelligence / Künstliche Intelligenz (KI) / Linguistics / Logic / modallogic / Philosophie# Logik / ProofTheory / Syntax mehr...
ISBN:	9789048148974
EAN-Code:	9789048148974
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 17 mm
Gewicht:	470 gr
Seiten:	308
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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