Caricamento...
Techniques of PROLOG programming with implementation of logical negation and quantified goals /
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Tesi Libro |
| Lingua: | inglese |
| Pubblicazione: |
New York :
Wiley,
c1993.
|
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
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 | ||