A parallel resolution method for logic programs
By: Urs Zolliker
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1993
Language: eng
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology Zurich, 1993.