Ihre Suche erzielte 3 Treffer.

Ergebnisse
	1.	A feature-based constraint system for logic programming with entailment Hassan Ai͏̈t-Kaci; Andreas Podelski; Gert Smolka von Aït-Kaci, Hassan, 1954- [aut] Podelski, Andreas [oth] Smolka, Gert, 1955- [oth] Reihen: ; 92,17 \| Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199217 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Kaiserslautern DFKI 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) Saarbrücken DFKI RR-92-17. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Warren's abstract machine a tutorial reconstruction Hassan Ai͏̈t-Kaci von Aït-Kaci, Hassan, 1954- [aut] Ai͏̈t-Kaci, Hassan [oth] Reihen: Logic programming Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge, Mass. [u.a.] MIT Press 1991 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) AIT h 1991:1 2.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Resolution of equations in algebraic structures ed. by Hassan Ai͏̈t-Kaci ... von Aït-Kaci, Hassan, 1954- [Hrsg.] Materialtyp: Gesamtaufnahme Sprache: Englisch Verlag: Boston [u.a.] Academic Pr. 1989- Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha