Normal view MARC view ISBD view

8th international conference on automated deduction, Oxford, England, July 27 - August 1, 1986 :

Authors: Siekmann, Jörg H. Series: Lecture notes in computer science ; . 230 Published by : Springer, (Berlin :) Physical details: ix,708p ; 25cm ISBN: 0387167803; 3540167803. Subject(s): Automatic theorem proving --Congresses | Logic, Symbolic and mathematical --Congresses Year: 1986 List(s) this item appears in: B-ON / Springer ebooks
    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.94954 (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