Dershowitz, Nachum. - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author Dershowitz, Nachum.

Showing 1 - 10 of 16 results

Search Results

Cover image for Verification

Verification

2003
Format: Electronic

Location
Access Content Online

Cover image for The evolution of programs

The evolution of programs

by Dershowitz, Nachum
1983
Format: Book

Joyner Library - General Stacks

Call Number: QA76.6 .D465 1983

Cover image for Rewriting Techniques and Applications

Rewriting Techniques and Applications

by Dershowitz, Nachum
1989
Format: Electronic

Location
Access Content Online

Cover image for Language, Culture, Computation. Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Language, Culture, Computation. Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

by Dershowitz, Nachum
2014
Format: Electronic

Location
Access Content Online

Cover image for Language, Culture, Computation. Computing of the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

by Dershowitz, Nachum
2014
Format: Electronic

Location
Access Content Online

Cover image for Language, Culture, Computation. Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Language, Culture, Computation. Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

by Dershowitz, Nachum
2014
Format: Electronic

Location
Access Content Online

Cover image for Calendrical tabulations, 1900-2200

Calendrical tabulations, 1900-2200

by Reingold, Edward M., 1945-
2002
Format: Book

Location
Access Content Online

Cover image for Calendrical calculations

Calendrical calculations

by Dershowitz, Nachum
1997
Format: Book

Joyner Library - General Stacks

Call Number: CE12 .D47 1997

Cover image for Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

by LPAR (Conference)
2007
Format: Electronic

Location
Access Content Online

Cover image for Fields of logic and computation

Fields of logic and computation

2010
Format: Electronic

Location
Access Content Online