UID:
kobvindex_ZLB15759233
Format:
XIV, 794 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783642452208
,
3642452205
Series Statement:
Lecture notes in computer science 8312
Note:
Literaturangaben
Language:
English
Keywords:
Logische Programmierung
;
Kongress
;
Stellenbosch 〈2013〉
;
Programmierlogik
;
Kongress
;
Stellenbosch 〈2013〉
;
Automatisches Beweisverfahren
;
Kongress
;
Stellenbosch 〈2013〉
;
Künstliche Intelligenz
;
Kongress
;
Stellenbosch 〈2013〉
;
Kongress
;
Konferenzschrift