Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juni 1992
Genre:	EDV / Informatik
	algorithmanalysisandproblemcomplexity / Algorithmen und Datenstrukturen / Beweisatheorie / Computer / computerscience / EDV / Theorie / Informatik / Mathematik / Logic / logicalfoundations / Logik / LogischeGrundlagen / mathematicallogic / Nicht-klassischeLogiken / Non-classicalLogics / Philosophie / Logik / ProofTheory / Theoretische Informatik / Typentheorie / Typetheory mehr...
ISBN:	9783540557074
EAN-Code:	9783540557074
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 29 mm
Gewicht:	791 gr
Seiten:	528
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science.