Aufsatzsammlung

Automated reasoning and mathematics : essays in memory of William W. McCune ; [Festschrift]

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642366741
3642366740
Maße
24 cm
Umfang
XX, 257 S.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 7788 : Lecture notes in artificial intelligence

Schlagwort
Automatisches Beweisverfahren
Mathematik

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2013
Beteiligte Personen und Organisationen

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 11:54 UTC

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Aufsatzsammlung

Beteiligte

Entstanden

  • 2013

Ähnliche Objekte (12)

Mc Cune, Jim. Mc Cune, Ursula

Archivale

Mc Cune, Jim. Mc Cune, Ursula

McCune, Thomas

Akte

McCune, Thomas

James E. McCune

Bilder

James E. McCune

McCune-Albright syndrome

McCune-Albright syndrome

McCune, James E. (28.4.1931-13.12.1996)

Akten

McCune, James E. (28.4.1931-13.12.1996)

McCune albright syndrome with severe facial disfigurement

McCune albright syndrome with severe facial disfigurement

Journal of automated reasoning

Zeitschrift

Journal of automated reasoning

Cune

Graffiti | Streetart

Cune

cune

Graffiti | Streetart

cune

Cune

Graffiti | Streetart

Cune

Approccio diagnostico-terapeutico della Sindrome di McCune-Albright

Approccio diagnostico-terapeutico della Sindrome di McCune-Albright

Refutations and Reasoning in Undergraduate Mathematics

Refutations and Reasoning in Undergraduate Mathematics

Verbundene Objekte