Words, proofs, and diagrams

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Barker-Plummer, Dave (HerausgeberIn), Beaver, David I. (HerausgeberIn), Benthem, Johan van (HerausgeberIn), Scotto di Luzio, Patrick (MitwirkendeR), Aiello, Marco (MitwirkendeR), Fisler, Kathi (MitwirkendeR), Lemon, Oliver (MitwirkendeR), Grünwald, Peter (MitwirkendeR), Koller, Alexander (MitwirkendeR), Niehren, Joachim (MitwirkendeR), Paiva, Valeria de (MitwirkendeR), Tiede, Hans-Joerg (MitwirkendeR), Aloni, Maria (MitwirkendeR), Stokhof, M. J. B. (MitwirkendeR), Westerståhl, Dag (MitwirkendeR)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stanford, Calif. Univ., Center for the Study of Language and Information 2002
Schriftenreihe:	CSLI lecture notes 141
Schlagworte:	Diagrammatisches Schließen > Formale Semantik > Künstliche Intelligenz > Sprachlogik > Aufsatzsammlung
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	X, 276 S.
ISBN:	1575864061 1575864053