- ECU Libraries Catalog

Start Over

You searched for: author_facet Vardi, Moshe Y.

Showing 1 - 8 of 8 results

Search Results

Cover image for Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelligence and reasoning

by LPAR (Conference)
2003
Format: Electronic

Location
Access Content Online

Cover image for Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelligence and reasoning

by LPAR
2003
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.63 .L735 2003	✔ Available

Cover image for Formal techniques for networked and distributed systems--FORTE 2002

Formal techniques for networked and distributed systems--FORTE 2002

by FORTE 2002
2002
Format: Electronic

Location
Access Content Online

Cover image for Formal techniques for networked and distributed systems--FORTE 2002

Formal techniques for networked and distributed systems--FORTE 2002

by FORTE 2002
2002
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV'98 (Conference)
1998
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 C38 1998	✔ Available

Cover image for Database theory--ICDT'95

Database theory--ICDT'95

by International Conference on Database Theory
1995
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.D3 I557 1995	✔ Available

Cover image for Database Theory - ICDT '95

Database Theory - ICDT '95

by Gottlob, Georg
1995
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

by Vardi, Moshe Y.
1987
Format: Electronic

Location
Access Content Online