Suchergebnisse - Eijck, Jan van 1951-
- Treffer 1 – 20 von 49
- Zur nächsten Seite
-
1Discourse representation theoryVeröffentlicht 1990Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Buch -
2Formal semanticsVeröffentlicht 1990Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Buch -
3Games, Actions and Social Software: Multidisciplinary AspectsVeröffentlicht 2012Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
4The Haskell road to logic, maths and programmingVeröffentlicht 2004Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
5Procedural dynamic semantics, verb-phrase ellipsis. and presuppositionVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6QuantifiersVeröffentlicht 1990Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Buch -
7DeterminersVeröffentlicht 1990Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Buch -
8Typed logic with statesVeröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Dynamic reasoning without variablesVeröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Aspects of quantification in natural languageVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Computational semantics with functional programmingVeröffentlicht 2010Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
12The Haskell road to logic, maths and programmingVeröffentlicht 2012Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13The epistemics of encryptionVeröffentlicht 2000Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14Dynamic reasoning without variablesVeröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Programming with dynamic predicate logicVeröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Ambiguity and reasoningVeröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17Reasoning about update logicVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18Dynamic modal predicate logicVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19Dynamic modal predicate logicVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20The dynamics of descriptionVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …