Foreword to: Special Issue on Interactive Theorem Provers

DOI10.1080/10586458.2022.2088982zbMATH Open1492.00054OpenAlexW4283455599WikidataQ113850290 ScholiaQ113850290MaRDI QIDQ5094469

Author name not available (Why is that?)

Publication date: 3 August 2022

Published in: Experimental Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/10586458.2022.2088982

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to combinatorics (05-06) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to number theory (11-06)

Related Items (3)

Interactive theorem proving. Preface of the special issue ⋮ Title not available (Why is that?) ⋮ Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003

This page was built for publication: Foreword to: Special Issue on Interactive Theorem Provers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094469)