KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005 ; revised selected papers (2007)

Cate, Balder D. ten ; Zeevat, Henk W. ; International Tbilisi Symposium on Logic, Language, and Computation 6 2005 Batumi

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

gbv_550128298

Format: Online-Ressource (XII, 280 S.)

Edition: Online-Ausg. 2007 Springer eBook collection. Computer science Electronic reproduction; Available via World Wide Web

ISBN: 9783540751441

Series Statement: Lecture notes in computer science 4363

Note: Literaturangaben , Lizenzpflichtig , Electronic reproduction; Available via World Wide Web

Additional Edition: ISBN 3540751432

Additional Edition: ISBN 9783540751434

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Sprachverarbeitung ; Logik ; Formale Methode ; Modallogik ; Berechnungstheorie ; Logik ; Sprachverarbeitung ; Logik ; Formale Methode ; Modallogik ; Berechnungstheorie ; Logik ; Konferenzschrift

DOI: 10.1007/978-3-540-75144-1

URN: urn:nbn:de:1111-200707123020

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg