[Lecture Notes in Computer Science] KI-97: Advances in Artificial Intelligence Volume 1303 || Many-sorted logic in a learning theorem prover
Brewka, Gerhard, Habel, Christopher, Nebel, BernhardVolume:
10.1007/3-
Year:
1997
DOI:
10.1007/3540634932_5
File:
PDF, 1.09 MB
1997