| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
in00003546151 |
| 006 |
m o d |
| 007 |
cr nn||||||||| |
| 008 |
121227s1994 enk o 000 0 eng d |
| 005 |
20260422222908.6 |
| 020 |
|
|
|a 9781447132349 (electronic bk.)
|
| 020 |
|
|
|a 1447132343 (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)840277565
|
| 040 |
|
|
|a I9W
|b eng
|e pn
|c I9W
|d OCLCO
|d OCLCQ
|d UV0
|d OCLCO
|d GW5XE
|d OCLCF
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a QA76.6-76.66
|
| 082 |
0 |
4 |
|a 005.11
|2 23
|
| 100 |
1 |
|
|a Deville, Yves.
|
| 245 |
1 |
0 |
|a Logic Program Synthesis and Transformation :
|b Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 /
|c edited by Yves Deville.
|
| 264 |
|
1 |
|a London :
|b Springer London,
|c 1994.
|
| 300 |
|
|
|a 1 online resource (XII, 245 pages)
|
| 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 Workshops in Computing, 1431-1682
|
| 520 |
|
|
|a This volume contains the papers from the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93), held in Louvain-la-Neuve, Belgium, from 7-9 July 1993. Logic program synthesis and transformation play a vital role in the automation of the software production process, and the LOPSTR workshops are currently the only international meetings devoted to these important areas of research. LOPSTR 93 provided an opportunity for the presentation of new research (including work in progress), and also for the discussion of new trends in logic program development and other related areas. Many of the techniques described promise to revolutionise the software industry once they become standard practice. Logic Program Synthesis and Transformation provides a comprehensive overview of the latest advances in automatic program development. It will be of interest to researchers and postgraduate students alike.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Logic design.
|
| 650 |
|
7 |
|a Computer science.
|2 fast
|0 (OCoLC)fst00872451
|
| 650 |
|
7 |
|a Logic design.
|2 fast
|0 (OCoLC)fst01002045
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 830 |
|
0 |
|a Workshops in computing.
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-1-4471-3234-9
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 38146428-43dc-38ec-b557-c22166ba8221
|i e8a2fc83-16b6-3e7e-abb6-1bfd0f818902
|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.6-76.66
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA76.6-76.66
|t 0
|l Available Online
|