Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy

Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy

Book Informaton
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy

Author

Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg

Year of Publication

2018

Publisher

World Scientific Publishing

Pages

291

Language

en

ISBN

9813270934, 9789813270930

ARI Id

1673503009508

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 6 times.
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Logic programming Logic symbolic and mathematical