Registrierung
Anmelden
Wunschliste
Registrierung
Anmelden
Wunschliste
Manga
Action
Boys Love
Comedy
Fantasy
Girls Love
Horror
Light Novel
Manhua
Manhwa
Mystery
Romance
Science Fiction
Slice of Life
Deutsche Comics
Abenteuer / Thriller
Biografie / Autobiografie
Cartoons / Humor
Erotik
Fantasy
Graphic Novels
Historisches / Reportage
Klassiker
Mystery
Schweizer KünstlerInnen
Science Fiction
Superhelden
Western
US-Comics
Adventure / Thriller
Cartoons / Humour
Classics
Fantasy
Graphic Novels / Non Fiction
Manga
Mystery
Science Fiction
Superheroes
Young Readers
Bandes Dessinées
Biographique / De la vie
Aventure / Polar
Historique / Documentaire
Enfants / Jeunesse
Fantasy
Graphic Novels / Découvrier
Science Fiction
Serié Classique
Western
Kindercomics
Abenteuer / Spannung
Bilderbücher
Comic-Romane
Einsteiger
Fantasy
Klassiker
Sachcomic
Teens
Wer sind wir
Menu
Manga
zurück
Action
Boys Love
Comedy
Fantasy
Girls Love
Horror
Light Novel
Manhua
Manhwa
Mystery
Romance
Science Fiction
Slice of Life
Deutsche Comics
zurück
Abenteuer / Thriller
Biografie / Autobiografie
Cartoons / Humor
Erotik
Fantasy
Graphic Novels
Historisches / Reportage
Klassiker
Mystery
Schweizer KünstlerInnen
Science Fiction
Superhelden
Western
US-Comics
zurück
Adventure / Thriller
Cartoons / Humour
Classics
Fantasy
Graphic Novels / Non Fiction
Manga
Mystery
Science Fiction
Superheroes
Young Readers
Bandes Dessinées
zurück
Biographique / De la vie
Aventure / Polar
Historique / Documentaire
Enfants / Jeunesse
Fantasy
Graphic Novels / Découvrier
Science Fiction
Serié Classique
Western
Kindercomics
zurück
Abenteuer / Spannung
Bilderbücher
Comic-Romane
Einsteiger
Fantasy
Klassiker
Sachcomic
Teens
Wer sind wir
Suchen
Suchen
0
0
Artikel
Sie haben keine Artikel im Warenkorb.
Home
/
Term Rewriting and All That von Tobias Nipkow
Term Rewriting and All That von Tobias Nipkow
CHF 86.00
inkl. MwSt.
ISBN:
978-0-521-77920-3
Einband:
Kartonierter Einband (Kt)
Verfügbarkeit:
in der Regel innert 10 Werktagen lieferbar. Abweichungen werden nach Bestelleingang per Mail gemeldet.
Zur Wunschliste zugefügt
Empfehlen
Menge:
+
-
Kaufen
Klappentext
Unified and self-contained introduction to term-rewriting; suited for students or professionals.
Unified and self-contained introduction to term-rewriting; suited for students or professionals.
Autor
Nipkow, Tobias / Baader, Franz / Franz, Baader
Einband
Kartonierter Einband (Kt)
Erscheinungsjahr
2006
Seitenangabe
316 S.
Lieferstatus
Folgt in ca. 10 Arbeitstagen
Ausgabekennzeichen
Englisch
Masse
H24.4 cm x B17.0 cm x D1.8 cm 548 g
Verlag
Cambridge University Press
Weitere Titel von
Tobias Nipkow
Theorem Proving in Higher Order Logics von Stefan
Springer Berlin Heidelberg
Kartonierter Einband (Kt)
| 2009
CHF
69.00
Term Rewriting and All That von Tobias Nipkow
Cambridge University Press
Kartonierter Einband (Kt)
| 2006
CHF
86.00
Isabelle/HOL von Tobias Nipkow
Springer Nature EN
Kartonierter Einband (Kt)
| 2002
CHF
77.00
Automated Reasoning von Rajeev (Hrsg.) Gore
Springer Nature EN
Kartonierter Einband (Kt)
| 2001
CHF
135.00
Rewriting Techniques and Applications von Tobias (
Springer Berlin Heidelberg
Kartonierter Einband (Kt)
| 1998
CHF
69.00
Term Rewriting and All That von Franz Baader
Cambridge University Press
Fester Einband
| 1998
CHF
89.00
Types for Proofs and Programs von Tobias (Hrsg.) N
Springer Berlin Heidelberg
Kartonierter Einband (Kt)
| 1994
CHF
69.00
Higher-Order Algebra, Logic, and Term Rewriting vo
Springer Berlin Heidelberg
Kartonierter Einband (Kt)
| 1994
CHF
69.00
Kategorien
Manga
Deutsche Comics
US-Comics
Bandes Dessinées
Kindercomics
Merchandise
Comix-Shop Produkte
Wer sind wir