Μετάβαση στο περιεχόμενο
Ωκεανός
Υπηρεσία Ενοποιημένης Αναζήτησης
του Πανεπιστημίου Πειραιώς
Σύνθετη
  • 0 τεκμήρια
  • Γλώσσα
    • English
    • Ελληνικά
Σύνθετη
  • Αναζήτηση:
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Logic Programming Computer programming 2 Horn Clauses 1
Hybrid systems 1 Integer programming 1 Logic (Reasoning) 1
περισσότερα ...
Programming languages 1 Prolog (Computer program language) 1 Reasoning 1
Software development 1 λιγότερα ...
Εμφανίζονται 1 - 11 από 11 για την αναζήτηση: '', χρόνος αναζήτησης: 0,14δλ
Εξώφυλλο
Inductive logic programming: from machine learning to software engineering /
από Bergadamo, Francesco.
Στοιχεία έκδοσης 1995
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Logic program synthesis and transformation. International workshop, LOPSTR (6th:1996:Stockholm, Sweden), August 28-30, 1996: proceedings/
Στοιχεία έκδοσης 1997
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Analysis and verification of multiple-agent languages (5th:Stockholm, Sweden:1996), June 24-26 1996: workshop, selected papers/
Στοιχεία έκδοσης 1997
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Computing in horn clause theories/
από Padawitz, Peter.
Στοιχεία έκδοσης 1988
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Logic programming : formal methods and practical applications /
Στοιχεία έκδοσης 1995
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Logic programming with Prolog /
από Bramer, M. A. 1948-
Στοιχεία έκδοσης 2005
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Reasoning with logic programming/
από Alferes, Jose Julio.
Στοιχεία έκδοσης 1996
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Reasoning with Logic Programming /
από Alferes, Jose Julio.
Στοιχεία έκδοσης 1996
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Logic and integer programming /
από Williams, H. P.
Στοιχεία έκδοσης 2009
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
The journal of logic programming
Στοιχεία έκδοσης 1984
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Λήψη πλήρους κειμένου
Επιστημονικό περιοδικό
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Journal of logic and algerbraic programming
Στοιχεία έκδοσης 1984
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Λήψη πλήρους κειμένου
Επιστημονικό περιοδικό
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης

Περιορισμός αναζήτησης

Κατάργηση φίλτρων
Προτεινόμενα θέματα: Logic Programming
Συλλογή
11 Κατάλογος Βιβλιοθήκης
Μορφή
9 Book 2 Journal
Συγγραφέας
2 Alferes, Jose Julio 1 Bergadamo, Francesco 1 Bramer, M. A. 1948- 1 Padawitz, Peter 1 Williams, H. P.
Ταξινομικός #
9 000 - Computer science, information & general works
Γλώσσα
11 English
Είδος
2 Periodicals
Έτος έκδοσης

Επιλογές αναζήτησης

  • Ιστορικό αναζητήσεων
  • Σύνθετη αναζήτηση

Βρείτε περισσότερα

  • Περιήγηση στον κατάλογο
  • Περιήγηση αλφαβητικά

Χρειάζεστε βοήθεια;

  • Συμβουλές αναζήτησης
Library of UniPi
Βιβλιοθήκη Πανεπιστημίου Πειραιώς
Ιστοσελίδα της Βιβλιοθήκης
Επικοινωνήστε μαζί μας
H Υπηρεσία Ενοποιημένης Αναζήτησης δημιουργήθηκε στο πλαίσιο του Υποέργου 4 «Προμήθειες Εξοπλισμού Λογισμικού» της πράξης «Ψηφιακές υπηρεσίες ανοιχτής πρόσβασης της βιβλιοθήκης του Πανεπιστημίου Πειραιώς» με κωδικό ΟΠΣ «304169», του Επιχειρησιακού Προγράμματος "Ψηφιακή Σύγκλιση"

Φορτώνει......