Ein Ansatz zur Erweiterung eines Satzprüfers durch Advanced Structuring Mechani
109,08 €
Of particular interest here are proof systems with the LCF architecture, developing large theories from a small logical kernel, because this approach simplifies the validation of derived results. Short Title APPROACH TO THE EXTENSION OF A.
Jetzt bei Ebay:
