Normal view MARC view ISBD view

10th international conference on automated deduction, Kaiserslautern, FRG, July 24-27, 1990 :

Authors: Stickel, M.E. Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; . 449 | Lecture notes in computer science ; . 449 | Lecture notes in artificial intelligence ; . 449 Published by : Springer, (Berlin :) Physical details: xvi, 688 p. ; 25 cm ISBN: 0387528857; 3540528857. Subject(s): Automatic theorem proving --Congresses | Logic, Symbolic and mathematical --Congresses Year: 1990 List(s) this item appears in: B-ON / Springer ebooks
    average rating: 0.0 (0 votes)
Item type Location Call number Status Date due
Livro Livro IST - Biblioteca de Elect.Comp. e Inf.
IST-Bib Electricidade
QA76.9.I.842.GIA (Browse shelf) Available

Includes bibliographical references and index

Click on an image to view it in the image viewer


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