Skip to contents

Prinz, Andreas [Author]

Formal semantics for SDL : definition and implementation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Professoren des Inst. für Informatik, 2001

Published in: Informatik-Berichte ; 15500
Bozapalidis, Symeon [Editor]; Rahonis, George [Other] ; CAI 3 2009 Thessaloniki

Algebraic informatics : third international conference, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5725
Belnap, Nuel D. [Author] ; Steel, Thomas B. [Other]; Brockhaus, Klaus [Other]

Logik von Frage und Antwort

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig; Wiesbaden: Vieweg, 1985
Kutschera, Franz von [Author]

Die Antinomien der Logik : semantische Untersuchungen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Freiburg [u.a.]: Alber, 1964
Pogodalla, Sylvain [Editor]; Prost, Jean-Philippe [Other] ; LACL 6 2011 Montpellier

Logical aspects of computational linguistics : 6th international conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6736
Bozapalidis, Symeon [Editor]; Rahonis, George [Other] ; CAI 2 2007 Thessaloniki

Algebraic informatics : second international conference, CAI 2007, Thessalonkiki, Greece, May 21-25, 2007 ; revised selected and invited papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4728
Cresswell, M. J. [Author] ; Posner, Roland [Other]

Die Sprachen der Logik und die Logik der Sprache

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: de Gruyter, 1979

Published in: De-Gruyter-Studienbuch ; Grundlagen der Kommunikation
Ballweg, Joachim [Editor] ; Institut für Deutsche Sprache, Symposium Grammatik und Logik 1979 Mannheim

Grammatik und Logik - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: Pädagog. Verl. Schwann, 1980

Published in: Institut für Deutsche Sprache: Jahrbuch ... ; 1979 - Sprache der Gegenwart ; 50
Hofmann, Martin [Author]; Lange, Martin [Author]

Automatentheorie und Logik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: eXamen.press
Leeuwen, Jan van [Editor]

Handbook of theoretical computer science

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: Elsevier, 1990-
Janzen, Jan [Author] ; Frege, Gottlob [Other]; Wittgenstein, Ludwig [Other]

Kalkül und Sprache : Freges und Wittgensteins Überlegungen zur Bedeutung formaler Sprachen im Verhältnis zur modelltheoretischen Tradition

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Würzburg: Königshausen & Neumann, 2011

Published in: Epistemata / Reihe Philosophie ; 496
Gazzari, René [Author] ; Eberhard Karls Universität Tübingen

Formal theories of occurrences and substitutions

View online
Schließen

Access

Full access (via DOI)

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Tübingen, 2020
Ludwig, Michael [Author] ; Eberhard Karls Universität Tübingen

Tree-structured problems and parallel computation

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Tübingen, 2019
Heinlein, Christian [Author]

Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2000 ; [2007]
Pogodalla, Sylvain [Author] ; Prost, Jean-Philippe [Other]

Logical Aspects of Computational Linguistics : 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 6736
Bozapalidis, Symeon [Other]; Rahonis, George [Other]

Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5725
Hofmann, Martin [Author] ; Lange, Martin [Other]

Automatentheorie und Logik

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2011

Published in: eXamen.press- SpringerLink ; Bücher
Pogodalla, Sylvain [Editor]; Retoré, Christian [Editor]; de Groote, Philippe [Editor]

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2016

Published in: Lecture notes in computer science ; 10054
Asher, Nicholas [Author] ; Soloviev, Sergei [Editor]

Logical Aspects of Computational Linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2014

Published in: Lecture notes in computer science ; 8535
Béchet, Denis [Author] ; Dikovsky, Alexander [Other]

Logical Aspects of Computational Linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

Published in: Lecture notes in computer science ; 7351

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication