Showing
1 - 1
results of
1
for search '
Hunt, Warren A. Jr
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Hunt, Warren A. Jr
Showing
1 - 1
results of
1
for search '
Hunt, Warren A. Jr
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
Published 2000
Other Authors:
“…
Hunt
,
Warren
A
.
Jr
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Artificial Intelligence
Artificial intelligence
Complexity
Computational complexity
Computer Hardware
Computer hardware
Computer logic
Computer-Aided Engineering (CAD, CAE) and Design
Computer-aided engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών