Ergebnisse filtern
-
- 5
-
- 5
-
- 5
-
- 4
- 1
-
- 5
-
- 5
-
- 5
-
- 5
Mathematik | Informatik
-
Cantone On the Decidability of Presburger Arithmetic with Homogeneous Exponentiation (Classic Reprint)
Erscheinungsjahr 2018Verlag: FB&C LTDISBN: 978-0-331-01411-2Medium: Buch21,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cantone Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs (Classic Reprint)
Erscheinungsjahr 2018Verlag: LULU PRISBN: 978-1-333-04254-7Medium: Buch8,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cantone Some Decidability Results on Quantified Sublanguages of Set Theory (Classic Reprint)
Erscheinungsjahr 2018Verlag: FB&C LTDISBN: 978-0-332-12705-7Medium: Buch22,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cantone Decision Procedures for Elementary Sublanguages of Set Theory: XVI. Multilevel Syllogistic Extended by Singleton, Rank Comparison and Unary Intersecti
Erscheinungsjahr 2018Verlag: FB&C LTDISBN: 978-0-656-29518-0Medium: Buch23,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cantone A Decision Procedure for Set-Theoretic Formulae Involving Rank and Cardinality Comparison (Classic Reprint)
Erscheinungsjahr 2018Verlag: FB&C LTDISBN: 978-0-267-13268-3Medium: Buch23,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort