Search Results for Electronic digital computers

Limit Search Results

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

2 Results Found

Subscribe to search results

1

00MAIN

Print

1.

Cover image for Automated reasoning : 33 basic research problems

Automated reasoning : 33 basic research problems

by

Wos, Larry

Author

Wos, Larry

Format:

Call Number

QA76.9.A96 W67 1988

Publisher

Prentice Hall,

Publication Date

1988

ISBN

9780130545527

Available:
Holds:
Copies:

2.

Cover image for Automated reasoning : introduction and applications

Automated reasoning : introduction and applications

by

Wos, Larry

Author

Wos, Larry

Format:

Call Number

QA76.9.A96 A98 1984

Publisher

Prentice-Hall,

Publication Date

1984

ISBN

9780130544469

Available:
Holds:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1