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...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Other Authors: Bundy, Alan
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