Ihre Suche erzielte 3 Treffer.

Ergebnisse
	1.	Automated reasoning essays in honor of Woody Bledsoe von Boyer, Robert S [Hrsg.] Bledsoe, Woodrow W [GefeierteR] Reihen: ; 1 \| Automated reasoning series ; 1 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer Academic 1991 Online-Ressourcen: Zentralblatt MATH Inhaltstext kostenfrei Inhaltsverzeichnis 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 (Entfernen)
	2.	Automated development of fundamental mathematical theories by Art Quaife von Quaife, Art [aut] Reihen: ; 2 \| Automated reasoning series ; 2 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer Academic 1992 Hochschulschriftenvermerk: Zugl.: Berkeley, Calif., Univ., Diss. : 1990 Online-Ressourcen: Zentralblatt MATH Inhaltstext Inhaltsverzeichnis Inhaltsverzeichnis Automated development of fundamental mathematical theories Inhaltsverzeichnis 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) QuAI a 1992:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Resolution proof systems an algebraic theory by Zbigniew Stachniak von Stachniak, Zbigniew [aut] Reihen: ; 4 \| Automated reasoning series ; 4 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer Academic 1996 Online-Ressourcen: Zentralblatt MATH Inhaltstext kostenfrei Inhaltsverzeichnis 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) StACh z 1996:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha