Language
- All ( )
- Free, open source ( )
7Result(s)for '"Baader F."'
Resource list
By Baader F. in Annals of Mathematics and Artificial Intelligence
ISSN:1012-2443|18|2-4|175-219
Springer Publishing Company (1997)
Access to resources Favorite 14.731166
By Baader F. Sattler U. in Information Systems
ISSN:0306-4379|28|8|979-1004
Elsevier(2003)
Access to resources Favorite 11.450341
By Baader F. Narendran P. in Journal of Symbolic Computation
ISSN:0747-7171|31|3|277-305
Academic Press(2001)
Access to resources Favorite 11.450341
By Baader F. Sattler U. in Studia Logica
ISSN:0039-3215|69|1|5-40
Springer Publishing Company (2001)
Access to resources Favorite 11.450341
By Baader F. Schulz K.U. in Theoretical Computer Science
ISSN:0304-3975|192|1|107-161
Elsevier(1998)
Access to resources Favorite 10.646407
By Baader F. Schulz K.U. in Journal of Symbolic Computation
ISSN:0747-7171|21|2|211-243
Academic Press(1996)
Access to resources Favorite 10.646407
By Baader F. Schulz K.U. in Theoretical Computer Science
ISSN:0304-3975|142|2|229-255
Elsevier(1995)
Access to resources Favorite 10.646407