Normal view MARC view ISBD view

9th International Conference on Automated Deduction :

Authors: Lusk, E. | Overbeek, R. Series: Lecture notes in computer science ; . 310 Published by : Springer-Verlag, (Berlin :) Physical details: x, 775 p. ISBN: 354019343x; 038719343x. Subject(s): Automatic theorem proving --Congresses | Logic, Symbolic and mathematical --Congresses Year: 1988
    average rating: 0.0 (0 votes)
Item type Location Call number Copy Status Date due
Livro Livro IST - Biblioteca de Elect.Comp. e Inf.
IST-Bib Electricidade
QA76.9.I.97714 (Browse shelf) 0 Available
Livro Livro IST - Biblioteca de Elect.Comp. e Inf.
IST-Bib Electricidade
QA76.9.I.95078 (Browse shelf) 1 Available

Click on an image to view it in the image viewer


© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved
Languages: