Logic for problem solving / Robert Kowalski

Date :

Editeur / Publisher : Amsterdam : North-Holland , 1983

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-444-00365-7