Automated Reasoning :

Automated Reasoning : Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning Beijing, P.R. China, 13-16 July 1992

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	IFIP TC12/WG12.3 International Workshop on Automated Reasoning Beijing, China
Άλλοι συγγραφείς:	Shi, Zhongzhi (Επιμελητής έκδοσης)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Amsterdam : North-Holland, 1992.
Σειρά:	IFIP transactions. Computer science and technology ; A-19 ; A
Θέματα:	Automatic theorem proving > Congresses. Artificial intelligence > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Automated Reasoning :
από: Wos, Larry
Δημοσίευση: (1992)

Automated theorem proving :
Δημοσίευση: (1984)

Diagrammatic reasoning :
Δημοσίευση: (1995)

Symbolic logic and mechanical theorem proving
από: Chang, Chin-Liang 1937-
Δημοσίευση: (1987)

Mechanical geometry theorem proving
από: Chou, Shang-Ching 1942-
Δημοσίευση: (1988)

Deduction systems
από: Socher-Ambrosius, Rolf
Δημοσίευση: (1997)

Gems of theoretical computer science
από: Schoning, Uwe 1955-
Δημοσίευση: (1998)

Interactive theorem proving and program development :
από: Bertot, Yves
Δημοσίευση: (2004)

The computer modelling of mathematical reasoning
από: Bundy, Alan
Δημοσίευση: (1983)

Logic for Computer Science :
από: Gallier, Jean H.
Δημοσίευση: (1987)

Proof in VDM: :
Δημοσίευση: (1998)

Ontic :
από: McAllester, David A.
Δημοσίευση: (1989)

Computational logic :
Δημοσίευση: (1991)

Symbolic and quantitative approaches to reasoning with uncertainty :
Δημοσίευση: (2007)

Industrial Applications of Fuzzy Logic and Intelligent Systems
Δημοσίευση: (1995)

Innovative applications of artificial inelligence 4 :
Δημοσίευση: (1992)

ECAI 94 :
Δημοσίευση: (1994)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

Machine learning and applications :
Δημοσίευση: (1999)

AAAI-92 :
Δημοσίευση: (1992)

ECAI 92 :
Δημοσίευση: (1992)

IJCAI-93 :
Δημοσίευση: (1993)

IJCAI-77 :
Δημοσίευση: (1977)

Proceedings of the International Joint Conference on Artificial Intelligence :
Δημοσίευση: (1969)

IJCAI-83 :
Δημοσίευση: (1983)

IJCAI-79 :
Δημοσίευση: (1979)