scientific article
From MaRDI portal
Publication:3815510
zbMath0664.68005MaRDI QIDQ3815510
No author found.
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Biographies, obituaries, personalia, bibliographies (01A70) General topics in the theory of software (68N01) History of computer science (68-03)
Related Items (4)
Extender based forcings ⋮ Barwise: Abstract Model Theory and Generalized Quantifiers ⋮ A support system for interactive languages ⋮ Complete expression and veritable significance of the initial nutation. Proof of what follows from this for the fluidity of the interior of the globe. Analytical consequences of this in the formulae of astronomy.
Uses Software
This page was built for publication:
