Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /

Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /

Saved in:
Bibliographic Details
Corporate Author: International Conference on Automated Deduction Kaiserslautern, Germany
Other Authors: Stickel, M. E. (Mark E.), 1947-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1990.
Series:Lecture notes in computer science ; 449.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
LEADER 01526nam a2200337 a 4500
001 c000161613
003 CARM
005 19990918000000.0
008 900718s1990 gw a 101 0 eng
010 |a 90010125 
019 1 |a 7477782  |5 LACONCORD2021 
020 |a 0387528857  |b (U.S.) 
035 |a (OCoLC)22184493  |5 LACONCORD2021 
040 |a DLC  |b eng  |c DLC  |d DLC  |d LC 
050 0 0 |a QA76.9.A96  |b I57 1990 
082 0 4 |a 511.3  |2 20 
082 0 4 |a 511.3  |2 20 
111 2 |a International Conference on Automated Deduction  |n (10th :,  |d 1990 :  |c Kaiserslautern, Germany) 
245 1 0 |a Proceedings :  |b 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /  |c M.E. Stickel, (ed.) 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1990. 
300 |a xvi, 688 p. :  |b ill. ;  |c 24 cm. 
490 1 |a Lecture notes in computer science ;  |v 449.  |a Lecture notes in artificial intelligence. 
504 |a Includes biblioigraphical references and index. 
650 0 |a Automatic theorem proving  |x Congresses. 
650 0 |a Logic, Symbolic and mathematical  |x Congresses. 
700 1 |a Stickel, M. E.  |q (Mark E.),  |d 1947- 
830 0 |a Lecture notes in computer science ;  |v 449. 
830 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence. 
852 8 |b CARM  |h A2:AL22D0  |i C05339  |p 0213213  |f BK 
999 f f |i a24264f3-74c4-5d52-8a27-89397ca9ee4f  |s 9953ae00-44b3-5b77-9c36-4616edfad334 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05339  |f A2:AL22D0  |h Other scheme  |i book  |m 0213213 

Similar Items