Publication:3815510
From MaRDI portal
zbMath0664.68005MaRDI QIDQ3815510
No author found.
Publication date: 1988
01A70: Biographies, obituaries, personalia, bibliographies
68N01: General topics in the theory of software
68-03: History of computer science
Related Items
Extender based forcings, Barwise: Abstract Model Theory and Generalized Quantifiers, 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., A support system for interactive languages
Uses Software