CONCUR'97: Concurrency Theory |
- isbn : 978-3-540-69188-4
- pisbn : 978-3-540-63141-5
- doi : 10.1007/3-540-63141-0
|
Fulltext
|
Automated Deduction - CADE-14 |
- isbn : 978-3-540-69140-2
- pisbn : 978-3-540-63104-0
- doi : 10.1007/3-540-63104-6
|
Fulltext
|
Logic Programming and Nonmonotonic Reasoning |
- isbn : 978-3-540-69249-2
- pisbn : 978-3-540-63255-9
- doi : 10.1007/3-540-63255-7
|
Fulltext
|
Analysis and Verification of Multiple-Agent Languages |
- isbn : 978-3-540-68052-9
- pisbn : 978-3-540-62503-2
- doi : 10.1007/3-540-62503-8
|
Fulltext
|
Database Theory - ICDT '97 |
- isbn : 978-3-540-49682-3
- pisbn : 978-3-540-62222-2
- doi : 10.1007/3-540-62222-5
|
Fulltext
|
Machine Learning: ECML'97 |
- isbn : 978-3-540-68708-5
- pisbn : 978-3-540-62858-3
- doi : 10.1007/3-540-62858-4
|
Fulltext
|
Algorithmic Learning Theory |
- isbn : 978-3-540-69602-5
- pisbn : 978-3-540-63577-2
- doi : 10.1007/3-540-63577-7
|
Fulltext
|
Rewriting Techniques and Applications |
- isbn : 978-3-540-69051-1
- pisbn : 978-3-540-62950-4
- doi : 10.1007/3-540-62950-5
|
Fulltext
|
Automata Implementation |
- isbn : 978-3-540-69205-8
- pisbn : 978-3-540-63174-3
- doi : 10.1007/3-540-63174-7
|
Fulltext
|
Automata, Languages and Programming |
- isbn : 978-3-540-69194-5
- pisbn : 978-3-540-63165-1
- doi : 10.1007/3-540-63165-8
|
Fulltext
|