Kategorien
Handverlesen
Verbrieft
Kafka, Kafka, Kafka
Alice Munro
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen ( Treffer)
Filter schließen ( Treffer)
Stichwort auswählen
Alle Stichworte
Autoatedtheoremproving (1)
Automat (1)
Automateddeduction (1)
Automatedtheoremproving (1)
Automatischesschließen (1)
Cubiccurves (1)
Kubischekurven (1)
Proving (1)
Theoremproving (1)
Universalalgebra (1)
Universellesalgebra (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik: Logik (1)
Sprache auswählen
Sprachen
Englisch (2)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Gebunden (1)
Taschenbuch (1)
Nur mit
-Notizen
Auf Lager
Alles
Nur Personen
Nur Titel
ähnliche Begriffe
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Sie haben nach
Padmanabhan, R.
gesucht
eng
R. Padmanabhan / Sergiu Rudeanu
Axioms for Lattices and Boolean Algebras
World Scientific Publishing Company
2008
Gebunden
228 Seiten
99,50
€
Etwa 20 Tage
The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This…
eng
R. Padmanabhan / William McCune
Automated Deduction in Equational Logic and Cubic Curves
Springer Berlin Heidelberg
1996
Taschenbuch
248 Seiten
53,49
€
in Kürze
This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in aut…