Mijn boeken
← Catalogus
A proof of Finite Family Developments for Higher-Order Rewriting using Prefix Order
H.J.S. Bruggink

A proof of Finite Family Developments for Higher-Order Rewriting using Prefix Order

H.J.S. Bruggink
PaperbackNederlands
In het kort
ISBN-13
9789039344507
Uitgever
Universiteit Utrecht
NUR
733 · Theoretische filosofie

Lijkt op dit boek

Omslag van Philosophy After Foundation
Philosophy After Foundation
Omslag van Jean-Jacques Rousseau, L´Economie politique
Jean-Jacques Rousseau, L´Economie politique
Omslag van Het verdichten van de openheid
Het verdichten van de openheid
Omslag van De Staat
De Staat
Omslag van Between Yes and No
Between Yes and No
Omslag van Meta-ethiek
Meta-ethiek
Omslag van leegte
leegte
Omslag van Het Mentaal Dieet
Het Mentaal Dieet
Omslag van Tussen Ja en Nee
Tussen Ja en Nee
Omslag van Het Mentaal dieet
Het Mentaal dieet
NSTC 501204878 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
A proof of Finite Family Developments for Higher-Order Rewriting using Prefix Order
H.J.S. Bruggink

A proof of Finite Family Developments for Higher-Order Rewriting using Prefix Order

H.J.S. Bruggink
PaperbackNederlands
Bestel bij bol →
In het kort
ISBN-13
9789039344507
Uitgever
Universiteit Utrecht
NUR
733 · Theoretische filosofie

Lijkt op dit boek

Alles bekijken →
Omslag van Philosophy After Foundation
Philosophy After Foundation
Antonius de Kok
Omslag van Jean-Jacques Rousseau, L´Economie politique
Jean-Jacques Rousseau, L´Economie politique
Lucienne Tomesen
Omslag van Het verdichten van de openheid
Het verdichten van de openheid
Hubert Timmermans
Omslag van De Staat
De Staat
Plato
Omslag van Between Yes and No
Between Yes and No
Widoere Djelantik
Omslag van Meta-ethiek
Meta-ethiek
Wouter Floris Kalf
NSTC 501204878 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026