Campusbibliothek

Ihre Suche erzielte 3 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Automated theorem proving after 25 years. Proceedings of the special session on automatic theorem proving 89th annual meeting of the American Mathematical Society, held in Denver, Colorado, January 5 - 9, 1983 ed. by W. W. Bledsoe ... von Reihen: ; 2900 | Contemporary mathematics ; 29.1985
Auflage: Reprint.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Providence, RI American Math. Soc. 1985
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) CONM 29.
Vormerken Zum Korb hinzufügen
2.
Automated reasoning essays in honor of Woody Bledsoe von Reihen: ; 1 | Automated reasoning series ; 1
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer Academic 1991
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) BOY r 1991:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
3.
Deductive systems 28.04. bis 4.5.1991 Woodrow W. Bledsoe, Austin; Gerhard Jäger, Bern; Michael M. Richter, Kaiserslautern von Reihen: ; 1991,19 | Mathematisches Forschungsinstitut Oberwolfach Tagungsbericht ; 1991,19 |
Auflage: 04.05.1991 /
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: 1991
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) Oberwolfach Math. Inst. Oberw. Tagungsbericht Nr. 19/1991.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha