Automatic demostration /

Bibliographic Details
Corporate Author: Symposium on Automatic Demonstration Versailles ; France
Other Authors: Laudet, Michel, 1900-2003 (ed.), Lacombe, D. (ed.), Nolin, L. (ed.), Schützenberger, Marcel P. (ed.)
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 1970.
Series:Lecture notes in mathematics ; v. 125
LNM ; v. 125
Subjects:

MARC

LEADER 00000nam a2200000 4500
003 AR_CdUFM
005 20160908123049.0
008 130718s1970 gw ||||| |||| 00| 0 eng d
040 |a AR_CdUFM  |c AR_CdUFM 
111 2 |a Symposium on Automatic Demonstration   |d (1968 :   |c Versailles ; France) 
245 1 0 |a Automatic demostration /   |c ed. M. Laudet, D. Lacombe, L. Nolin, Marcel P. Schützenberger. 
260 |a Berlin :   |b Springer,   |c 1970. 
300 |a 310 p. ;  |c 24 cm. 
490 0 |a Lecture notes in mathematics ;   |v v. 125 
490 0 |a LNM ;  |v v. 125 
650 4 |a Lógica matemática. 
650 4 |a Mathematical logic. 
700 1 |a Laudet, Michel,   |e ed.  |d 1900-2003, 
700 1 |9 9491  |a Lacombe, D.,   |e ed. 
700 1 |9 12473  |a Nolin, L.,   |e ed. 
700 1 |9 15511  |a Schützenberger, Marcel P.,   |e ed. 
942 |c LIBRO  |2   
945 |a MB 
945 |a MCR  |d 2013-07-18 
952 |0 0  |1 0  |2    |4 0  |6 M_LNM_V__125_000000000000000  |7 0  |9 9257  |a MMA  |b MMA  |c LN  |d 2008-06-09  |l 0  |o M LNM v. 125   |p 06386  |r 2014-02-05 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 7042  |d 7042