Mechanizing mathematical reasoning
Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34791 |
---|---|
Ostali autori: | Siekmann, Jörg H. (-), Hutter, Dieter, Stephan, Werner |
Vrsta građe: | Knjiga |
Jezik: | eng |
Impresum: |
Berlin ; New York :
Springer,
2005.
|
Nakladnička cjelina: |
Lecture notes in computer science ;
2605. Lecture notes in artifical intelligence. |
Predmet: | |
Online pristup: |
Restricted to SpringerLink subscribers Publisher description |