undefined

< Back to search results

Theorem proving in artificial neural networks:new frontiers in mathematical AI

Year of publication

2024

Authors

Pantsar, Markus

Organizations and authors

University of Helsinki

Pantsar Markus

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Original article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Journal

European Journal for Philosophy of Science

Parent publication name

European Journal for Philosophy of Science

Volume

14

Issue

1

Article number

4

ISSN

1879-4912

​Publication forum

70420

​Publication forum level

3

Open access

Open access in the publisher’s service

No

Self-archived

No

Other information

Fields of science

Philosophy

Publication country

Netherlands

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

No

DOI

10.1007/s13194-024-00569-6

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes