Meer dan een miljoen boeken binnen handbereik!
Bookbot
Het boek is momenteel niet op voorraad

Mechanizing inductive theorem proving in conditional theories

Parameters

Een boek kopen

Mechanizing inductive theorem proving in conditional theories, Ulrich Fraus

Taal
Jaar van publicatie
1995
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief