Treffer 1 - 20 von 37 für Suche 'Rijke, Maarten de', Suchdauer: 0,66s
Treffer weiter einschränken
-
1
Modal logic von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde 1963-
Veröffentlicht 2010Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2
Modal logic von Blackburn, Patrick 1959-, Rijke, Maarten de 1961-, Venema, Yde 1963-
Veröffentlicht 2001Signatur: Wird geladen …DE-12
Standort: Wird geladen …
DE-92
DE-19
DE-703
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch E-Book -
3
A proof system for finite trees von Blackburn, Patrick 1959-, Meyer-Viol, Wilfried, Rijke, Maarten de
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4
Why combine logics? von Blackburn, Patrick 1959-, Rijke, Maarten de
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
Modal model theory von Rijke, Maarten de
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6
Relational methods in logic, language and information von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7
Zooming in, zooming out von Blackburn, Patrick 1959-, Rijke, Maarten de
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8
Meeting some neighbours von Rijke, Maarten de
Veröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9
Modal logic von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde
Veröffentlicht 2005Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10
Modal logic von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde
Veröffentlicht 2002Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
11
Modal logic von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde 1963-
Veröffentlicht 2001Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12
Prefixed resolution a resolution method for modal and description logics von Areces, Carlos, Nivelle, Hans de 1967-, Rijke, Maarten de
Veröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13
A tableaux calculus for ambiguous quantification von Monz, Christof, Rijke, Maarten de
Veröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14
A resolution calculus for dynamic semantics von Monz, Christof, Rijke, Maarten de
Veröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15
Relational methods in logic, language and information von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16
A modal characterization of Peirce algebras von Rijke, Maarten de
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17
Why combine logics? von Blackburn, Patrick 1959-, Rijke, Maarten de
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18
A modal characterization of Peirce algebras von Rijke, Maarten de
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19
Zooming in, zooming out von Blackburn, Patrick 1959-, Rijke, Maarten de
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20
Modal logic von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde
Veröffentlicht 2008Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Modallogik
Logic, Symbolic and mathematical
Modale logica
Computerlinguistik
Data Mining
Datenbanksystem
Dokumentverarbeitung
Information Retrieval
Konferenzschrift 2014 Amsterdam
Modality (Logic)
World Wide Web
World Wide Web 2.0
Algebraic logic
Aufsatzsammlung
Computational linguistics
Concurrent programming
Formal languages
Grammar, Comparative and general
Grammatik
Hochschulschrift
Intensionale Logik
Knowledge representation (Information theory)
Konferenzschrift 1990 Amsterdam
Model theory
Proefschriften (vorm)
Real-time data processing
Time
Trees (Graph theory)
Verzamelingen (wiskunde)