Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Computer science logic
Cite this
Text this
Email this
Print
Export Record
Export to EndNoteWeb
Export to BibTeX
Export to RIS
Permanent link
Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)
Bibliographic Details
Other Authors:
Börger, E. 1946- (Egon)
(Editor)
,
Gurevich, Yuri
(Editor)
,
Kleine-Buning, Hans
(Editor)
Format:
Book
Language:
English
Subjects:
COMPUTER LOGIC
IBFI
SEMINAR REPORT
Holdings
Description
Similar Items
Staff View
Μηχανικών Η/Υ και Πληροφορικής: Unknown
Holdings details from Μηχανικών Η/Υ και Πληροφορικής: Unknown
Call Number:
Unknown
Copy 1
Available
Similar Items
Geometric modelling Dagstuhl-Seminar-Report; 67 28.06.-02.07.93(9326)
Computational geometry Dagstuhl-Seminar-Report; 22 07.10.-11.10.91(9141)
Complexity and realization of Boolean Functions Dagstuhl-Seminar-Report; 45 24.08.-28.08.92(9235)
Molecular bioiformatics Dagstuhl-Seminar-Report; 46 07.09.-11.09.92(9237)
Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών