Logic for Programming, Artificial Intelligence, and Reasoning |
- isbn : 978-3-540-75560-9
- pisbn : 978-3-540-75558-6
- doi : 10.1007/978-3-540-75560-9
|
Fulltext
|
Annotating, Extracting and Reasoning about Time and Events |
- pisbn : 978-3-540-75988-1
- isbn : 978-3-540-75989-8
- doi : 10.1007/978-3-540-75989-8
|
Fulltext
|
Intelligence in Services and Networks. Paving the Way for an Open Service Market |
- pisbn : 978-3-540-65895-5
- isbn : 978-3-540-48888-0
- doi : 10.1007/3-540-48888-X
|
Fulltext
|
Fast Software Encryption |
- isbn : 978-3-540-44706-1
- pisbn : 978-3-540-41728-6
- doi : 10.1007/3-540-44706-7
|
Fulltext
|
Advances in Databases |
- pisbn : 978-3-540-67743-7
- isbn : 978-3-540-45033-7
- doi : 10.1007/3-540-45033-5
|
Fulltext
|
Applications of Evolutionary Computing |
- pisbn : 978-3-540-41920-4
- isbn : 978-3-540-45365-9
- doi : 10.1007/3-540-45365-2
|
Fulltext
|
Flexible Query Answering Systems |
- pisbn : 978-3-540-00074-7
- isbn : 978-3-540-36109-1
- doi : 10.1007/3-540-36109-X
|
Fulltext
|
Multi-Agent Systems and Applications III |
- isbn : 978-3-540-45023-8
- pisbn : 978-3-540-40450-7
- doi : 10.1007/3-540-45023-8
|
Fulltext
|
Computer Aided Verification |
- pisbn : 978-3-540-66202-0
- isbn : 978-3-540-48683-1
- doi : 10.1007/3-540-48683-6
|
Fulltext
|
Algebraic Methodology and Software Technology |
- isbn : 978-3-540-45719-0
- pisbn : 978-3-540-44144-1
- doi : 10.1007/3-540-45719-4
|
Fulltext
|