Techniques of PROLOG programming with implementation of logical negation and quantified goals /

Enregistré dans:
Détails bibliographiques
Auteur principal: Van Le, T.
Format: Thèse Livre
Langue:anglais
Publié: New York : Wiley, c1993.
Sujets:
PROLOG (Computer programme language)
Negation (Logic)
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

MARC

LEADER 00000nam a2200000 4500
001 00019208
003 PWmBRO
005 20240602102749.0
008 940206s1987 nyua b 00110 eng
020 |a 047157175X 
100 1 0 |a Van Le, T. 
245 1 0 |a Techniques of PROLOG programming with implementation of logical negation and quantified goals /  |c T. Van Le. 
260 0 |a New York :  |b Wiley,  |c c1993. 
300 |a xviii, 601 p. :  |b ill., + 3.5 inch. programme diskette. 
410 0 |a Harper & Row computer science and technology series 
502 |a Systems programmes copied onto 2 floppy diskettes for loaning purposes. The 3.5 inch diskette held for safety purposes by the library. 
504 |a Includes bibliography: p. [585-593] and index. 
650 0 |a PROLOG (Computer programme language) 
650 0 |a Negation (Logic) 
942 |2 ddc 
952 |0 0  |1 127  |4 0  |6 005_133000000000000_L433  |7 0  |8 MN  |9 85657  |a ML015  |b ML015  |c MN  |d 2024-06-02  |l 0  |o 005.133 L433  |p 092143  |r 2018-03-24 00:00:00  |w 2018-03-24  |y BK 
999 |c 64627  |d 64627 

Documents similaires