Konferenzschrift | Kongress
Logic, language, information and computation : 21st international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783662441442
3662441446
- Dimensions
-
24 cm
- Extent
-
XX, 236 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 8652
- Keyword
-
Logik
Theoretische Informatik
Programmiersprache
- Event
-
Veröffentlichung
- (where)
-
Heidelberg, Dordrecht, London, New York, NY, Berlin
- (who)
-
Springer
- (when)
-
2014
- Contributor
-
Kohlenbach, Ulrich
Barceló, Pablo
Queiroz, Ruy J. G. B. de
Association of Logic, Language and Information
WoLLIC (21 : 2014 : Valparaíso)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 11.06.2025, 1:41 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Kohlenbach, Ulrich
- Barceló, Pablo
- Queiroz, Ruy J. G. B. de
- Association of Logic, Language and Information
- WoLLIC (21 : 2014 : Valparaíso)
- Springer
Time of origin
- 2014
Other Objects (12)
Logic, language, information and computation : 18th international workshop ; proceedings
Logic, language, information and computation : 15th international workshop ; proceedings
Logic, language information and computation : 14th international workshop ; proceedings
Logic, language, information and computation : 22nd international workshop ; proceedings
Logic, language, information and computation : 16th international workshop ; proceedings
Logic, language, information and computation : 17th international workshop ; proceedings
Logic, language, information and computation : 19th international workshop ; proceedings
Logic, language, information and computation : 20th international workshop ; proceedings
Computer science logic : 21st international workshop ; proceedings
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, information and computation : 18th international workshop ; proceedings
Logic, language, information and computation : 15th international workshop ; proceedings
Logic, language information and computation : 14th international workshop ; proceedings
Logic, language, information and computation : 22nd international workshop ; proceedings
Logic, language, information and computation : 16th international workshop ; proceedings
Logic, language, information and computation : 17th international workshop ; proceedings
Logic, language, information and computation : 19th international workshop ; proceedings
Logic, language, information and computation : 20th international workshop ; proceedings
Computer science logic : 21st international workshop ; proceedings
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, information and computation : 18th international workshop ; proceedings
Logic, language, information and computation : 15th international workshop ; proceedings
Logic, language information and computation : 14th international workshop ; proceedings
Logic, language, information and computation : 22nd international workshop ; proceedings
Logic, language, information and computation : 16th international workshop ; proceedings
Logic, language, information and computation : 17th international workshop ; proceedings
Logic, language, information and computation : 19th international workshop ; proceedings
Logic, language, information and computation : 20th international workshop ; proceedings
Computer science logic : 21st international workshop ; proceedings
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers