Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /

Bibliographic Details
Corporate Author: Symposium on Computational Logic Brussels
Other Authors: Lloyd, John Wylie, 1947- (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1990.
Series:ESPRIT basic research series
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122840.0
008 110630s1990 gw||||| |||| 00| 0 eng d
020 |a 3540534377 
040 |a AR_CdUFM  |c AR_CdUFM 
111 2 |a Symposium on Computational Logic   |d (1990 :   |c Brussels) 
245 1 0 |a Computational logic :   |b symposium proceedings, Brussels, November 13/14, 1990 /  |c edited by John Wylie Lloyd. 
260 |a Berlin :   |b Springer,   |c 1990. 
300 |a ix, 211 p. :  |b il. ;  |c 25 cm. 
490 0 |a ESPRIT basic research series 
650 4 |a Lógica matemática. 
650 4 |a Lenguajes formales. 
650 4 |a Mathematical logic. 
650 4 |a Formal languages. 
700 1 |9 10280  |a Lloyd, John Wylie,  |e ed.  |d 1947-, 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-06-30 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F4_C736  |7 0  |9 7732  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C F4 C736   |p 14401  |r 2023-01-24 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 5889  |d 5889