عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540381406
(Number (ISBN
9783540381402
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565847
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
General Material Designation
[Book]
First Statement of Responsibility
edited by Wolfgang Bibel, Robert Kowalski.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer-Verlag : Springer e-books
Date of Publication, Distribution, etc.
1980
SERIES
Series Title
Lecture Notes in Computer Science, 87
GENERAL NOTES
Text of Note
L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
TOPICAL NAME USED AS SUBJECT
Computer Science
Computer science.
Mathematical Logic and Formal Languages
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Wolfgang Bibel, Robert Kowalski.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Robert A Kowalski
Wolfgang Bibel
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
