Campusbibliothek

Ihre Suche erzielte 22 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Natural deduction for non-classical logics David Basin; Seán Matthews; Luca Viganò. [Max-Planck-Institut für Informatik] von Reihen: ; 96,2,6 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 96,2,6 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1996
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-96-2-006.
Vormerken Zum Korb hinzufügen
2.
Logic program synthesis via proof planning Ina Kraan; David Basin; Alan Bundy. [Max-Planck-Institut für Informatik] von Reihen: ; 92,244 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1992244 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI 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-244.
Vormerken Zum Korb hinzufügen
3.
Middle-out reasoning for logic program synthesis Ina Kraan; David Basin; Alan Bundy von Reihen: ; 93,214 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1993214 |
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-214.
Vormerken Zum Korb hinzufügen
4.
A recursion planning analysis of inductive completion Richard Barnett; David Basin; Jane Hesketh. [Max-Planck-Institut für Informatik] von Reihen: ; 92,230 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1992230 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI 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-230.
Vormerken Zum Korb hinzufügen
5.
A conservative extension of first-order logic and its applications to theorem proving David Basin and Seán Matthews. [Max-Planck-Institut für Informatik] von Reihen: ; 93,235 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1993235 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Max-Planck-Inst. 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-235.
Vormerken Zum Korb hinzufügen
6.
Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 David Basin ... von Reihen: ; 93,213 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1993213 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Max-Planck-Inst. für Informatik 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) MPI-I-93-213.
Vormerken Zum Korb hinzufügen
7.
Difference unification David Basin; Toby Walsh. [Max-Planck-Institut für Informatik] von Reihen: ; 92,247 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1992247 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI 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-247.
Vormerken Zum Korb hinzufügen
8.
Experience with FS0 as a framework theory Sean Matthews; Alan Smaill; David Basin von Reihen: ; 92,214 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1992214 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Max-Planck-Institut 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-214.
Vormerken Zum Korb hinzufügen
9.
Difference matching David A. Basin; Toby Walsh von Reihen: ; 92,211 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1992211 |
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-211.
Vormerken Zum Korb hinzufügen
10.
Metalogical frameworks Contract ITS 9102 David A. Basin; Robert L. Constable von Reihen: ; 92,205 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 1992205 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Max-Planck-Institut 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-205.
Vormerken Zum Korb hinzufügen
11.
Labelled deduction ed. by David Basin ... von Reihen: ; 1700 | Applied logic series ; 17
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer Academic Publishers 2000
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) BAS d2 2000:1 1.Ex.
Vormerken Zum Korb hinzufügen
12.
A framework for program development based on schematic proof David Basin ... von Reihen: ; 93,231 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 93,231 |
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-231.
Vormerken Zum Korb hinzufügen
13.
Automated reasoning second international joint conference, IJCAR 2004, Cork, Ireland, July 4 - 8, 2004 ; proceedings David Basin ...(eds.) von Reihen: ; 3097 | Lecture notes in computer science ; 3097
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11018285
Verlag: Berlin Heidelberg [u.a.] Springer 2004
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 3097. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
14.
Termination orderings for rippling von Reihen: ; 94,209 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 94,209 |
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-209.
Vormerken Zum Korb hinzufügen
15.
Logic frameworks for logic programs David A. Basin von Reihen: ; 94,218 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 94,218 |
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-218.
Vormerken Zum Korb hinzufügen
16.
Automated complexity analysis based on ordered resolution David Basin; Harald Ganzinger von Reihen: ; 95,2,6 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 95,2,6 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Max-Planck-Inst. für Informatik 1995
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-95-2-006.
Vormerken Zum Korb hinzufügen
17.
Labelled propositional modal logics theory and practice David Basin; Seán Matthews; Luca Viganò von Reihen: ; 96,2,2 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 96,2,2 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1996
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) MPI-I-95-2-002, ...
Vormerken Zum Korb hinzufügen
18.
Beyond the finite in automatic hardware verification David Basin; Nils Klarlund von Reihen: ; 96,2,9 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 96,2,9 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken MPI Informatik 1996
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-96-2-009.
Vormerken Zum Korb hinzufügen
19.
Labelled modal logics quantifiers David Basin; Seán Matthews; Luca Viganò von Reihen: ; 97,2,1 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 97,2,1 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1997
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
20.
Principles of security and trust second international conference, POST 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings David Basin ... (eds.) von Reihen: ; 7796 | Lecture notes in computer science ; 7796
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86236571
Verlag: Berlin Heidelberg [u.a.] Springer 2013
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 7796.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha