Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Parigot, Michel, Voronkov, Andrei
Format:	Buch
Sprache:	eng
Schlagworte:	Artificial Intelligence Computer Science Congresses Logic design Logic programming Logic, Symbolic and mathematical Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations Mathematics Programming Languages, Compilers, Interpreters
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!