Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 35 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Handbook of logic in computer science 1 Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay ed. by S. Abramsky ... von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1992
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) ABR s 1992:1 1.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
2.
Handbook of logic in computer science 2 Background: Computational structures / vol. co-ordinator Dov M. Gabbay ed. by S. Abramsky ... von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1992
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) ABR s 1992:2 1.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
3.
Temporal logic 1 Dov M. Gabbay; Ian Hodkinson and Mark Reynolds von Reihen: ; 28 | Oxford logic guides ; 28.1994
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1994
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GAB d 1994:4 2.Ex, ...
Vormerken Zum Korb hinzufügen
4.
Labelled deductive systems 1 Dov M. Gabbay von Reihen: ; 33 | Oxford logic guides ; 33
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1996
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GAB d 1996:1 1.Ex.
Vormerken Zum Korb hinzufügen
5.
LDS - labelled deductive systems 1 Foundations Dov M. Gabbay von Reihen: ; 94,223 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 94,223 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken 1994
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-94-223.
Vormerken Zum Korb hinzufügen
6.
Handbook of logic in computer science 1 Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay ed. by S. Abramsky ... von
Auflage: Repr.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 1999
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
7.
A practical logic of cognitive systems 2 The reach of abduction : insight and trial Dov M. Gabbay and John Woods von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam Elsevier 2005
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GAB d 2005:1 1.Ex.
Vormerken Zum Korb hinzufügen
8.
Investigations in modal and tense logics with applications to problems in philosophy and linguistics Dov M. Gabbay von Reihen: ; 9200 | Synthese <Dordrecht> / Library ; 9200
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Reidel 1976
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GAB d 1976:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
9.
Semantical investigations in Heyting's intuitionistic logic Dov M. Gabbay von Reihen: ; 14800 | Synthese <Dordrecht> / Library ; 148
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Reidel 1981
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GAB d 1981:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
10.
Temporal logic first International Conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings Dov M. Gabbay ... (eds.) von Reihen: ; 827 | Lecture notes in computer science ; 827
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 827.
Vormerken Zum Korb hinzufügen
11.
What is a logical system? ed. by D. M. Gabbay von Reihen: Oxford science publication | ; 400 | Studies in logic and computation ; 4
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford [u.a.] Clarendon Press 1994
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GAB d 1994:3 2.Ex, ...
Vormerken Zum Korb hinzufügen
12.
Classical vs non-classical logics the universality of classical logic Dov M. Gabbay von Reihen: ; 93,230 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 93,230 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Max-Planck-Institut für Informatik 1993
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-93-230.
Vormerken Zum Korb hinzufügen
13.
Practical reasoning proceedings International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996. Dov M. Gabbay; Hans Jürgen Ohlbach (eds.) von Reihen: ; 1085 | Lecture notes in computer science ; 1085
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1996
Weitere Titel:
  • FAPR '96
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 1085.
Vormerken Zum Korb hinzufügen
14.
Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9-12, 1997 Proceedings Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (eds.) von Reihen: ; 1244 | Lecture notes in computer science ; 1244
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 1997
Weitere Titel:
  • ECSQARU-FAPR '97
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 1244.
Vormerken Zum Korb hinzufügen
15.
Fibring logics Dov M. Gabbay von Reihen: Oxford science publications | ; 3800 | Oxford logic guides ; 3800
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford [u.a.] Clarendon 1999
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GAB d 1999:1 1.Ex.
Vormerken Zum Korb hinzufügen
16.
Towards automating duality Chris Brink & Dov Gabbay & Hans Jürgen Ohlbach. [Max-Planck-Institut für Informatik] von Reihen: ; 93,220 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1993220 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI Informatik 1993
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-93-220.
Vormerken Zum Korb hinzufügen
17.
Quantifier elimination in second-order predicate logic Dov Gabbay & Hans Jürgen Ohlbach. [Max-Planck-Institut für Informatik] von Reihen: ; 92,231 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1992231 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Max-Planck-Inst. für Informatik 1992
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-92-231.
Vormerken Zum Korb hinzufügen
18.
Goal-directed proof theory by Dov M. Gabbay and Nicola Olivetti von Reihen: ; 2100 | Applied logic series ; 21
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer c 2000
Weitere Titel:
  • goal-directed
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GAB d 2000:1 1.Ex.
Vormerken Zum Korb hinzufügen
19.
Killer transformations Hans Jürgen Ohlbach; Dov Gabbay; David Plaisted von Reihen: ; 94,226 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 94,226 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI Informatik 1994
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-94-226.
Vormerken Zum Korb hinzufügen
20.
Automated practical reasoning and augmentation 23.11.1993 Schloß Dagstuhl, Internationales Begegnungs- und Forschungszentrum für Informatik. Hrsg.: Dov M. Gabbay ... von Reihen: ; 70 | Dagstuhl-Seminar-Report ; 70
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloß Dagstuhl 1993
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 70.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha