| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
in00005719829 |
| 005 |
20260319183529.8 |
| 006 |
m o d |
| 007 |
cr || |||||||| |
| 008 |
970811r20201998enka fob 001 0 eng |
| 040 |
|
|
|a AU@
|b eng
|e rda
|c AU@
|d OCLCO
|d OCLCF
|d ESU
|d STBDS
|d QGK
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|d OCLCQ
|d OCLCL
|
| 020 |
|
|
|a 9780191916670 (ebook)
|
| 020 |
|
|
|a 0191916676 (ebook)
|
| 035 |
|
|
|a (OCoLC)1222775032
|
| 050 |
|
4 |
|a QA76.63
|
| 082 |
0 |
4 |
|a 005.115
|2 23
|
| 049 |
|
|
|a TXAM
|
| 245 |
0 |
0 |
|a Handbook of logic in artificial intelligence and logic programming.
|n Volume 5,
|p Logic programming /
|c edited by Dov M. Gabbay, C.J. Hogger, and J.A. Robinson.
|
| 246 |
3 |
|
|a Logic programming
|
| 264 |
|
1 |
|a Oxford :
|b Oxford University Press,
|c 2020.
|
| 300 |
|
|
|a 1 online resource (814 pages) :
|b illustrations (black and white).
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Oxford science publications
|
| 500 |
|
|
|a Previously issued in print: 1998.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 520 |
8 |
|
|a The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence.
|
| 521 |
|
|
|a Specialized.
|
| 588 |
|
|
|a Description based on print version record and publisher information
|
| 650 |
|
0 |
|a Logic programming.
|
| 650 |
|
6 |
|a Programmation logique.
|
| 650 |
|
7 |
|a Logic programming
|2 fast
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 700 |
1 |
|
|a Gabbay, Dov M.,
|d 1945-
|e editor.
|1 https://id.oclc.org/worldcat/entity/E39PBJfWWybKqqXHW94G7tqvpP
|
| 700 |
1 |
|
|a Hogger, Christopher John,
|e editor.
|
| 700 |
1 |
|
|a Robinson, J. A.
|q (John Alan),
|e editor.
|1 https://id.oclc.org/worldcat/entity/E39PBJrwR6qMkrwtgKVPXr7JXd
|
| 758 |
|
|
|i has work:
|a Handbook of logic in artificial intelligence and logic programming Volume 5 Logic programming (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGQVqPF39w4fpBtdGKPXJP
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version
|z 9780198537922
|
| 830 |
|
0 |
|a Oxford science publications.
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://academic.oup.com/book/41806
|z Connect to the full text of this electronic book
|t 0
|
| 936 |
|
|
|a BATCHLOAD
|
| 955 |
|
|
|a Oxford Scholarship Online
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
f |
f |
|i ee112c41-90f6-4c4a-8b63-6a7c5ad84026
|s 9927857d-21f7-4cd0-9690-442a6ce25221
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e QA76.63
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA76.63
|t 0
|l Available Online
|