scientific article; zbMATH DE number 1424100
From MaRDI portal
Publication:4945293
zbMATH Open0941.03512MaRDI QIDQ4945293FDOQ4945293
Publication date: 7 June 2000
Title of this publication is not available (Why is that?)
Computational aspects in algebraic geometry (14Q99) History of mathematical logic and foundations (03-03) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Nonstandard models in mathematics (03H05)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4945293)
