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
Author
Include
Exclude
SpringerLink (Online service)
(2)
Woltran, Stefan. editor. (orcid)0000-0003-1594-8972
(2)
Croitoru, Madalina. editor.
(1)
Gonzales, Christophe. editor.
(1)
Leite, João. editor.
(1)
Rudolph, Sebastian. editor.
(1)
Son, Tran Cao. editor.
(1)
Torroni, Paolo. editor.
(1)
van der Torre, Leon. editor.
(1)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(2)
Publication Date
Include
Exclude
-
2013
(1)
2014
(1)
Subject
Include
Exclude
Artificial intelligence.
(2)
Formal Languages and Automata Theory.
(2)
Machine theory.
(2)
Application software.
(1)
Compilers (Computer programs).
(1)
Compilers and Interpreters.
(1)
Computer Science Logic and Foundations of Programming.
(1)
Computer and Information Systems Applications.
(1)
Computer science-Mathematics.
(1)
Computer science.
(1)
Discrete Mathematics in Computer Science.
(1)
Discrete mathematics.
(1)
Software engineering.
(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.
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
by
Croitoru, Madalina. editor.
https://doi.org/10.1007/978-3-319-04534-4
Format:
Excerpt:
Woltran, Stefan. editor. (orcid)0000-0003-1594-8972
Marc View
SD_ILS:140843
2.
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
by
Leite, João. editor.
https://doi.org/10.1007/978-3-642-40624-9
Format:
Excerpt:
Woltran, Stefan. editor. (orcid)0000-0003-1594-8972
Marc View
SD_ILS:143141
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1