Automated Deduction -- CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 Proceedings / edited by Alan Bundy.
This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction...
Saved in:
Online Access: |
Full Text (via Springer) |
---|---|
Other Authors: | |
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer-Verlag,
1994.
|
Series: | Lecture notes in computer science ;
814. Lecture notes in computer science. Lecture notes in artificial intelligence. |
Subjects: |
MARC
LEADER | 00000cam a2200000Ma 4500 | ||
---|---|---|---|
001 | b9107484 | ||
006 | m o d | ||
007 | cr ||||||||||| | ||
008 | 100729s1994 gw ob 001 0 eng d | ||
005 | 20240418144346.5 | ||
019 | |a 327018377 |a 793077475 | ||
020 | |a 9783540484677 |q (electronic bk.) | ||
020 | |a 3540484671 |q (electronic bk.) | ||
020 | |a 3540581561 |q (Berlin ; |q acid-free paper) | ||
020 | |a 9783540581567 |q (Berlin ; |q acid-free paper) | ||
020 | |a 0387581561 |q (New York ; |q acid-free paper) | ||
020 | |a 9780387581569 |q (New York ; |q acid-free paper) | ||
020 | |z 9783540581567 | ||
020 | |z 3540484671 | ||
035 | |a (OCoLC)spr827358784 | ||
035 | |a (OCoLC)827358784 |z (OCoLC)327018377 |z (OCoLC)793077475 | ||
037 | |a spr10.1007/3-540-58156-1 | ||
040 | |a KIJ |b eng |e pn |c KIJ |d OCLCO |d GW5XE |d OCLCF |d ITD |d CUSER |d HDC |d UV0 |d OCLCQ |d OCL | ||
049 | |a GWRE | ||
050 | 4 | |a QA76.9.A96 |b I57 1994 | |
245 | 0 | 0 | |a Automated Deduction -- CADE-12 : |b 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 Proceedings / |c edited by Alan Bundy. |
260 | |a Berlin, Heidelberg : |b Springer-Verlag, |c 1994. | ||
300 | |a 1 online resource : |b v.: digital. | ||
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 Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI), |x 0302-9743 ; |v 814. | |
504 | |a Includes bibliographical references and index. | ||
520 | |a This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions. | ||
650 | 0 | |a Computer science. | |
650 | 0 | |a Artificial intelligence. | |
650 | 0 | |a Logic, Symbolic and mathematical. | |
650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247. | |
650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451. | |
650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068. | |
700 | 1 | |a Bundy, Alan. | |
776 | 1 | |a International Conference on Automated Deduction (12th : 1994 : Nancy, France). |t Automated deduction, CADE-12. |d Berlin ; New York : Springer-Verlag, ©1994 |z 3540581561 |w (DLC) 94017912 |w (OCoLC)30544565. | |
830 | 0 | |a Lecture notes in computer science ; |v 814. | |
830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436. | |
856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/3-540-58156-1 |z Full Text (via Springer) |
907 | |a .b91074848 |b 05-04-22 |c 05-01-17 | ||
998 | |a web |b 05-01-17 |c f |d b |e - |f eng |g gw |h 0 |i 1 | ||
907 | |a .b91074848 |b 05-01-17 |c 05-01-17 | ||
915 | |a M | ||
956 | |a Springer e-books | ||
956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
999 | f | f | |i 176475eb-9bac-54e2-8e33-d7cf00d7aaf6 |s 12ad0410-9844-5ef8-92d5-34ee32010d8b |
952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.9.A96 I57 1994 |h Library of Congress classification |i Ebooks, Prospector |n 1 |