Go to:
Logótipo
You are in:: Start > Publications > View > 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings
Map of Premises
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática
Publication

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings

Title
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings
Type
International Conference Proceedings Book
Year
1980
Other information
Language: English
Type (Professor's evaluation): Scientific
ISBN: 3-540-10009-1
Collection: Lecture Notes in Computer Science
Vol.: 87
Documents
We could not find any documents associated to the publication.
Publications included
Selective Backtracking for Logic ProgramsImported from Authenticus
Article in International Conference Proceedings Book
Luís Moniz Pereira (Author) (Other); António Porto (Author) (Other)
1980
Recommend this page Top
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-10-01 at 05:05:56 | Acceptable Use Policy | Data Protection Policy | Complaint Portal