Zum Inhalt springen

Gabbay, Dov M. [VerfasserIn] ; Hodkinson, Ian [Sonstige Person, Familie und Körperschaft]; Reynolds, Mark [Sonstige Person, Familie und Körperschaft]; Finger, Marcelo [Sonstige Person, Familie und Körperschaft]

Temporal logic : mathematical foundations and computational aspects

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 1994-2003

Erschienen in: Oxford logic guides ; .
Gabbay, Dov M. [VerfasserIn]

Semantical investigations in Heyting's intuitionistic logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Reidel, 1981

Erschienen in: Synthese <Dordrecht> / Library ; 148
Gabbay, Dov M. [VerfasserIn]

Investigations in modal and tense logics with applications to problems in philosophy and linguistics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Reidel, 1976

Erschienen in: Synthese <Dordrecht> / Library ; 9200
Gabbay, Dov M. [HerausgeberIn]; Wansing, Heinrich [Sonstige Person, Familie und Körperschaft]

What is negation?

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Kluwer Academic Publishers, 1999

Erschienen in: Applied logic series ; 13
Gabbay, Dov M. [VerfasserIn]; Olivetti, Nicola [VerfasserIn]

Goal-directed proof theory

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Kluwer, c 2000

Erschienen in: Applied logic series ; 21
Ohlbach, Hans Jürgen [HerausgeberIn]; Gabbay, Dov M. [GefeierteR]

Logic, language, and reasoning : essays in honour of Dov Gabbay

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston, Mass [u.a.]: Kluwer Academic, 1999

Erschienen in: Trends in logic ; 5
Artemov, Sergej N. [HerausgeberIn]; Gabbay, Dov M. [GefeierteR]

We will show them! : Essays in honour of Dov Gabbay on his 60th birthday

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[London]: College Publ., 20XX-
Gabbay, Dov M. [VerfasserIn]; Maksimova, Larisa L. [VerfasserIn]

Interpolation and definability : modal and intuitionistic logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 2005

Erschienen in: Oxford logic guides ; 46
Gabbay, Dov M. [VerfasserIn]; Hodkinson, Ian [VerfasserIn]; Reynolds, Mark [VerfasserIn]

Temporal logic / 1 - [Repr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 2003

Erschienen in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1,2003 - Oxford logic guides ; 28,2003
Gabbay, Dov M. [VerfasserIn]; Hodkinson, Ian [VerfasserIn]; Reynolds, Mark [VerfasserIn]

Temporal logic / 2 - [Repr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 2003

Erschienen in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 2,2003 - Oxford logic guides ; 40,2003
Gabbay, Dov M. [VerfasserIn]; Hodkinson, Ian [VerfasserIn]; Reynolds, Mark [VerfasserIn]

Temporal logic / 1

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 1994

Erschienen in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1.1994 - Oxford logic guides ; 28.1994
Kempson, Ruth M. [VerfasserIn]; Meyer-Viol, Wilfried [VerfasserIn]; Gabbay, Dov M. [VerfasserIn] ; Kempson, Ruth [Sonstige Person, Familie und Körperschaft]

Dynamic syntax : the flow of language understanding - [1. publ.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford [u.a.]: Blackwell Publishers, 2001
Gabbay, Dov M. [VerfasserIn]; Schmidt, Renate A. [VerfasserIn]; Szałas, Andrzej [VerfasserIn]

Second-order quantifier elimination : foundations, computational aspects and applications - [Nachdr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London: College Publ., 2011

Erschienen in: Studies in logic ; 12,2011
Gabbay, Dov M. [VerfasserIn]; Šechtman, Valentin B. [VerfasserIn]; Skvortsov, Dmitrij P. [VerfasserIn]

Quantification in nonclassical logic / 1

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; Heidelberg [u.a.]: Elsevier, 2009

Erschienen in: Quantification in nonclassical logic / D. M. Gabbay; V. B. Shehtman; D. P. Skvortsov - Studies in logic and the foundations of mathematics ; 153
Gabbay, Dov M. [VerfasserIn]; Schmidt, Renate A. [VerfasserIn]; Szałas, Andrzej [VerfasserIn]

Second-order quantifier elimination: foundations, computational aspects and applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London: King's College Publ., 2008

Erschienen in: Studies in logic ; 12
D'Avila Garcez, Artur S. [VerfasserIn]; Broda, Krysia [VerfasserIn]; Gabbay, Dov M. [VerfasserIn]

Neural symbolic learning systems : foundations and applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London; Berlin; Heidelberg [u.a.]: Springer, 2002

Erschienen in: Perspectives in neural computing
Gabbay, Dov M. [VerfasserIn]; Šechtman, Valentin B. [VerfasserIn]; Skvortsov, Dmitrij P. [VerfasserIn]

Quantification in nonclassical logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; Heidelberg [u.a.]: Elsevier, 20XX-

Erschienen in: Studies in logic and the foundations of mathematics ; .
Carnielli, Walter Alexandre [Sonstige Person, Familie und Körperschaft]; Coniglio, Marcelo [Sonstige Person, Familie und Körperschaft]; Gabbay, Dov M. [Sonstige Person, Familie und Körperschaft]; Gouveia, Paula [Sonstige Person, Familie und Körperschaft]; Sernadas, Cristina [Sonstige Person, Familie und Körperschaft]; Carnielli, Walter [Sonstige Person, Familie und Körperschaft]

Analysis and synthesis of logics : how to cut and paste reasoning systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht: Springer, 2008

Erschienen in: Applied logic series ; 35
Baroni, Pietro [HerausgeberIn]; Gabbay, Dov M. [HerausgeberIn]; Giacomin, Massimiliano [HerausgeberIn]; Torre, Leendert van der [HerausgeberIn]

Handbook of formal argumentation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Erscheinungsort nicht ermittelbar]: College Publications, [2018]
D'Avila Garcez, Artur S. [VerfasserIn]; Lamb, Luis C. [VerfasserIn]; Gabbay, Dov M. [VerfasserIn]

Neural-symbolic cognitive reasoning : with 6 tables

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2009

Erschienen in: Cognitive technologies

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr