//]]>
Log in to Your Account
Search history
[
x
]
Library of American University of Madaba
Search
Library Catalog
Title
Author
Subject
ISBN
Series
Call Number
Lists
Advanced Search
|
Browse by author or subject
|
Tag Cloud
Your cart is empty.
Public Lists
No Public Lists
Log in to Create Your Own Lists
Your search returned 2 results.
Relevance
Popularity (Most to Least)
Popularity (Least to Most)
Author (A-Z)
Author (Z-A)
Call Number (0-9 to A-Z)
Call Number (Z-A to 9-0)
Publication/Copyright Date: Newest to Oldest
Publication/Copyright Date: Oldest to Newest
Acquisition Date: Newest to Oldest
Acquisition Date: Oldest to Newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Logic for Programming, Artificial Intelligence, and Reasoning
by
Bjørner, Nikolaj.
Publication:
. XI, 446 p.
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Automated Deduction – CADE-23
by
Bjørner, Nikolaj.
Publication:
. XIII, 508 p.
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Refine your search
Availability
Limit to
currently available items.
Authors
Bjørner, Nikolaj.
Sofronie-Stokkermans...
Voronkov, Andrei.
Libraries
AUM Main Library
Series
Lecture Notes in Com...
Topics
Artificial intellige...
Computer Science.
Computer science.
Logic design.
Software Engineering...
Show More
Languages:
English |
العربية
