Εμφανίζονται 1 - 20 Αποτελέσματα από 107 για την αναζήτηση '' Περιορισμός αποτελεσμάτων
  1. 1
    Έκδοση 1980
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
  2. 2
    Έκδοση 1982
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
  3. 3
    Έκδοση 1984
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
  4. 4
    Έκδοση 2006
    Connect to electronic resource
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Artificial intelligence and symbolic computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings /
  5. 5
    Έκδοση 1996
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings /
  6. 6
    Έκδοση 1993
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings /
  7. 7
    Έκδοση 2010
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Aspects of mathematical logic : lectures given at the summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 /
  8. 8
    Έκδοση 1992
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /
  9. 9
    Έκδοση 2005
    Connect to electronic resource
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Automated deduction, CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
  10. 10
    Έκδοση 2007
    Connect to electronic resource
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Automated deduction, CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
  11. 11
    Έκδοση 2006
    Connect to electronic resource
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Automated deduction in geometry 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. : revised papers /
  12. 12
    Έκδοση 2007
    Connect to electronic resource
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Automated deduction in geometry 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers /
  13. 13
    Έκδοση 1973
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers] /
  14. 14
    Έκδοση 1993
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27 1993 : proceedings /
  15. 15
    Έκδοση 1990
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Computer logic : International Conference COLOG-88, Tallinn, USSR, December 1988 : proceedings /
  16. 16
    Έκδοση 2007
    Connect to electronic resource
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Computer science logic 21st international workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
  17. 17
    Έκδοση 1991
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /
  18. 18
    Έκδοση 1992
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings /
  19. 19
    Έκδοση 1993
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers /
  20. 20
    Έκδοση 1994
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /

Εργαλεία αναζήτησης: