TECHNIQUES OF PROLOG PROGRAMMING WITH IMPLEMENTATION OF LOGICAL NEGATION AND QUANTIFIED GOALS
LE, T. VAN
TECHNIQUES OF PROLOG PROGRAMMING WITH IMPLEMENTATION OF LOGICAL NEGATION AND QUANTIFIED GOALS - FIRST EDITION - NEW YORK JOHN WILEY & SONS, INC. 1993 - 601P.
047157175X
PROLOG, COMPUTER PROGRAM LANGUAGE
LOGIC
NEGATION
005.133/VAN
TECHNIQUES OF PROLOG PROGRAMMING WITH IMPLEMENTATION OF LOGICAL NEGATION AND QUANTIFIED GOALS - FIRST EDITION - NEW YORK JOHN WILEY & SONS, INC. 1993 - 601P.
047157175X
PROLOG, COMPUTER PROGRAM LANGUAGE
LOGIC
NEGATION
005.133/VAN