Author Search Results

Select result number 1
1

GWAI-81 [electronic resource] : German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981 / GWAI-81 [electronic resource] : German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981 /

by Siekmann, Jörg H. editor., SpringerLink (Online service)
Published 1981

Texto biblioteca

COLPOS

Saved in:
Select result number 2
2

GWAI-81 [electronic resource] : German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981 / GWAI-81 [electronic resource] : German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981 /

by Siekmann, Jörg H. editor., SpringerLink (Online service)
Published 1981

Texto biblioteca

COLPOS

Saved in:
Select result number 3
3

8th International Conference on Automated Deduction [electronic resource] : Oxford, England, July 27–August 1, 1986 Proceedings / 8th International Conference on Automated Deduction [electronic resource] : Oxford, England, July 27–August 1, 1986 Proceedings /

by Siekmann, Jörg H. editor., SpringerLink (Online service)
Published 1986

Texto biblioteca

COLPOS

Saved in:
Select result number 4
4

8th International Conference on Automated Deduction [electronic resource] : Oxford, England, July 27–August 1, 1986 Proceedings / 8th International Conference on Automated Deduction [electronic resource] : Oxford, England, July 27–August 1, 1986 Proceedings /

by Siekmann, Jörg H. editor., SpringerLink (Online service)
Published 1986

Texto biblioteca

COLPOS

Saved in:
Select result number 5
5

Automation of Reasoning [electronic resource] : 2: Classical Papers on Computational Logic 1967–1970 / Automation of Reasoning [electronic resource] : 2: Classical Papers on Computational Logic 1967–1970 /

by Siekmann, Jörg H. editor., Wrightson, Graham. editor., SpringerLink (Online service)
Published 1983

Texto biblioteca

COLPOS

Saved in:
Select result number 6
6

Automation of Reasoning [electronic resource] : 2: Classical Papers on Computational Logic 1967–1970 / Automation of Reasoning [electronic resource] : 2: Classical Papers on Computational Logic 1967–1970 /

by Siekmann, Jörg H. editor., Wrightson, Graham. editor., SpringerLink (Online service)
Published 1983

Texto biblioteca

COLPOS

Saved in:
Select result number 7
7

Artificial Intelligence and Soft Computing - ICAISC 2004 [electronic resource] : 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings / Artificial Intelligence and Soft Computing - ICAISC 2004 [electronic resource] : 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings /

by Rutkowski, Leszek. editor., Siekmann, Jörg H. editor., Tadeusiewicz, Ryszard. editor., Zadeh, Lotfi A. editor., SpringerLink (Online service)
Published 2004

Texto biblioteca

COLPOS

Saved in:
Select result number 8
8

Artificial Intelligence and Soft Computing - ICAISC 2004 [electronic resource] : 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings / Artificial Intelligence and Soft Computing - ICAISC 2004 [electronic resource] : 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings /

by Rutkowski, Leszek. editor., Siekmann, Jörg H. editor., Tadeusiewicz, Ryszard. editor., Zadeh, Lotfi A. editor., SpringerLink (Online service)
Published 2004

Texto biblioteca

COLPOS

Saved in:

Resource Map