Η αναζήτηση επέστρεψε 2 αποτελέσματα.

Αποτελέσματα
	1.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 6th international workshop on unification Dagstuhl-Seminar-Report; 42 29.07.-31.07.92(9231) από Baader, Franz [edt] Siekmann, Jorg [edt] Snyder, Wayne, 1955- [edt] Internationales Begegnungs-und Forschungszentrum fur Informatik [fnd] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1). Προσθήκη στο καλάθι (αφαίρεση)
	2.	A proof theory for general unification / Wayne Snyder. από Snyder, Wayne, 1955- [συγγραφέας.] Σειρά: Progress in computer science and applied logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Boston : Birkhäuser, 1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SNY. Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας