Log In
|
My Account
|
My Lists
|
Send a Request
|
Select Language
English
Türkçe
|
|
Remember to clear the cache and close the browser window.
Search Limit
Everything
Ferit Melen Library
Ilahiyat Library
IIBF Library
Rooms Restriction Values
All Fields
Title
Author
Subject
ISBN
10
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Narrowed by:
+
Subject: Theory of Computation.
Author
Include
Exclude
Gabbay, Dov M. author.
(2)
SpringerLink (Online service)
(2)
D'Avila Garcez, Artur S. author.
(1)
Lamb, Luís C. author.
(1)
Schlechta, Karl. author.
(1)
Language
Include
Exclude
English
(2)
Publication Date
Include
Exclude
-
2009
(1)
2010
(1)
Subject
Include
Exclude
Artificial intelligence.
(2)
Computer science.
(2)
Formal Languages and Automata Theory.
(2)
Logic.
(2)
Machine theory.
(2)
Automated Pattern Recognition.
(1)
Mathematical Logic and Foundations.
(1)
Mathematical logic.
(1)
Mathematics.
(1)
Pattern recognition systems.
(1)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
Shelf Location
Include
Exclude
Springer E-Book Collection
Library
Include
Exclude
Ferit Melen Library
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
2 Results Found
1
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
00
DEFAULT
Select a list
Temporary List
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
One or more items could not be added because you are not logged in.
1.
Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems
by
Gabbay, Dov M. author.
https://doi.org/10.1007/978-3-642-04407-6
Format:
Excerpt:
Logical Tools for Handling Change in Agent-Based Systems Gabbay, Dov M. author.
Marc View
SD_ILS:158884
2.
Neural-Symbolic Cognitive Reasoning
Neural-Symbolic Cognitive Reasoning
by
D'Avila Garcez, Artur S. author.
https://doi.org/10.1007/978-3-540-73246-4
Format:
Excerpt:
Gabbay, Dov M. author.
Marc View
SD_ILS:159780
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1