KOBV Portal

Please enable Javascript in your browser preferences in order to use all features of KOBV Portal.

X

rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Hits per page

hit 1 - 1 | 1 hit

Select All Export

1

Book

The computer modelling of mathematical reasoning (1983)

Bundy, Alan

London [u.a.] : Academic Pr.

add to watchlist on the watchlist

Details

UID:

gbv_1615865837

Format: XV, 322 S. , graph. Darst.

ISBN: 0121412504

Note: Literaturverz. S. 391 - 398

Language: English

Subjects: Computer Science

RVK:

ST 285

RVK:

ST 600

Keywords: Künstliche Intelligenz ; Mathematik ; Automatisches Beweisverfahren ; Künstliche Intelligenz ; Künstliche Intelligenz ; Anwendung ; Mathematik

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

MPI Bildungsforschung

hit 1 - 1 | 1 hit

Close ⊗

This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages

Kooperativer Bibliotheksverbund

Berlin Brandenburg