UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Labelled deductive systems. 1

Labelled deductive systems (Alle Bände), ... : 33 (Alle Bände)

Gabbay, Dov M

1996

Signatur: TCL4501-1

Handbook of logic in artificial intelligence and logic programming. 4. Epistemic and temporal reasoning

Handbook of logic in artificial intelligence and logic programming (Alle Bände)

Gabbay, Dov M[Herausgeber]

1995

Signatur: TVU4594-4

Handbook of logic in artificial intelligence and logic programming. 1. Logical foundations

Handbook of logic in artificial intelligence and logic programming (Alle Bände)

Gabbay, Dov M[Herausgeber]

1993

Signatur: TVU4594-1

Automated practical reasoning and argumentation

Dagstuhl-Seminar-Report : 70 (Alle Bände)

Gabbay, Dov M[Herausgeber]

1993

Signatur: TUF1092-70

Handbook of logic in artificial intelligence and logic programming. 3. Nonmonotonic reasoning and uncertain reasoning

Handbook of logic in artificial intelligence and logic programming (Alle Bände)

Gabbay, Dov M[Herausgeber]

1994

Signatur: TVU4594-3

Labelled deductive systems

Oxford logic guides : ...

Gabbay, Dov M

Signatur: TCL4501-...

Handbook of the philosophy of science

Gabbay, Dov M[Herausgeber]

2007-

Handbook of the history of logic. 1. Greek, Indian and Arabic logic / ed. by Dov M. Gabbay

Handbook of the history of logic (Alle Bände)

Gabbay, Dov M[Herausgeber]

1. ed, 2004

Signatur: HLG1697-1

Handbook of philosophical logic. 1. Elements of classical logic

Handbook of philosophical logic (Alle Bände), Synthese library : 164 (Alle Bände)

Gabbay, Dov M[Herausgeber]

1983

Signatur: HLF2096-1

Handbook of the history of logic. 3. The rise of modern logic : from Leibniz to Frege

Handbook of the history of logic (Alle Bände)

Gabbay, Dov M[Herausgeber]

1. ed, 2004

Signatur: HLG1697-3

Handbook of philosophical logic. 2. Extensions of classical logic

Handbook of philosophical logic (Alle Bände), Synthese library : 165 (Alle Bände)

Gabbay, Dov M[Herausgeber]

1984

Signatur: HLF2096-2

Handbook of philosophical logic

Synthese library : ...

Gabbay, Dov M[Herausgeber]

1983-

Signatur: HLF2096-...

Handbook of the history of logic

Gabbay, Dov M[Herausgeber]

2004-

Signatur: HLG1697-...

Handbook of the history of logic. 4. British logic in the nineteenth century

Handbook of the history of logic (Alle Bände)

Gabbay, Dov M[Herausgeber]

1. ed, 2008

Signatur: HLG1697-4

Handbook of philosophical logic. 3. Alternatives to classical logic

Handbook of philosophical logic (Alle Bände), Synthese library : 166 (Alle Bände)

Gabbay, Dov M[Herausgeber]

1986

Signatur: HLF2096-3

Handbook of the history of logic. 7. Logic and the modalities in the twentieth century / ed. by Dov M. Gabbay

Handbook of the history of logic (Alle Bände)

Gabbay, Dov M[Herausgeber]

1. ed, 2006

Signatur: HLG1697-7

Handbook of philosophical logic. 4. Topics in the philosophy of language

Handbook of philosophical logic (Alle Bände), Synthese library : 167 (Alle Bände)

Gabbay, Dov M[Herausgeber]

1989

Signatur: HLF2096-4

Handbook of the history of logic. 8. The many valued and nonmonotonic turn in logic / ed. by Dov M. Gabbay

Handbook of the history of logic (Alle Bände)

Gabbay, Dov M[Herausgeber]

2007

Signatur: HLG1697-8

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

Synthese library : 92 (Alle Bände)

Gabbay, Dov M

1976

Signatur: HLF1553

What is negation?

Applied logic series : 13 (Alle Bände)

Gabbay, Dov M[Herausgeber]

1999

Signatur: HLH3076

Semantical investigations in Heyting's intuitionistic logic

Synthese library : 148 (Alle Bände)

Gabbay, Dov M

1981

Signatur: HLH1888

Handbook of logic in artificial intelligence and logic programming

Handbooks of logic in computer science and artificial intelligence and logic programming, Oxford science publications

Gabbay, Dov M[Herausgeber]

Signatur: TVU4594-...

Temporal logic : mathematical foundations and computational aspects. 1

Temporal logic (Alle Bände), ... : 28 (Alle Bände)

1994

Signatur: TCL4276-1

Temporal logic : mathematical foundations and computational aspects. 2

Temporal logic (Alle Bände), Oxford logic guides : 40 (Alle Bände)

2000

Signatur: TCL4276-2

Temporal logic : mathematical foundations and computational aspects

1994-

Signatur: TCL4276

1 – 25 von 126

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(100)
Gedruckt
(26)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(126)

Schlagwort

Logic
(66)
Artificial intelligence
(29)
Philosophy
(17)
Logic, Symbolic and mathematical
(15)
Mathematical Logic and Foundations
(15)
Mathematical logic
(15)
Artificial Intelligence
(13)
Logik
(13)
Philosophy (General)
(13)
Computer science
(12)
Mathematical Logic and Formal Languages
(8)
Logic / History
(5)
Artificial Intelligence (incl. Robotics)
(4)
Computers
(4)
Database management
(4)
Linguistics
(4)
Linguistics, general
(4)
Mathematics
(4)
Theory of Computation
(4)
Computer logic
(3)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(114)
Deutsch
(1)

Systemstelle

HLF
(6)
HLG
(6)
TCL
(5)
TVU
(4)
HLH
(2)
BHG
(1)
TUF
(1)

2 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Nicht angegeben
(84)
Sonstiges
(42)

Menü

Weitere Dienste

Einstellungen

Labelled deductive systems. 1

Handbook of logic in artificial intelligence and logic programming. 4. Epistemic and temporal reasoning

Handbook of logic in artificial intelligence and logic programming. 1. Logical foundations

Automated practical reasoning and argumentation

Handbook of logic in artificial intelligence and logic programming. 3. Nonmonotonic reasoning and uncertain reasoning

Labelled deductive systems

Handbook of the philosophy of science

Handbook of the history of logic. 1. Greek, Indian and Arabic logic / ed. by Dov M. Gabbay

Handbook of philosophical logic. 1. Elements of classical logic

Handbook of the history of logic. 3. The rise of modern logic : from Leibniz to Frege

Handbook of philosophical logic. 2. Extensions of classical logic

Handbook of philosophical logic

Handbook of the history of logic

Handbook of the history of logic. 4. British logic in the nineteenth century

Handbook of philosophical logic. 3. Alternatives to classical logic

Handbook of the history of logic. 7. Logic and the modalities in the twentieth century / ed. by Dov M. Gabbay

Handbook of philosophical logic. 4. Topics in the philosophy of language

Handbook of the history of logic. 8. The many valued and nonmonotonic turn in logic / ed. by Dov M. Gabbay

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

What is negation?

Semantical investigations in Heyting's intuitionistic logic

Handbook of logic in artificial intelligence and logic programming

Temporal logic : mathematical foundations and computational aspects. 1

Temporal logic : mathematical foundations and computational aspects. 2

Temporal logic : mathematical foundations and computational aspects

Suchergebnisse filtern