• Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  1. Boeken
  2. Non-fictie
  3. Wetenschap
  4. Wiskunde & Statistiek
  5. Complexity of Proofs and Their Transformations in Axiomatic Theories

Complexity of Proofs and Their Transformations in Axiomatic Theories

€ 115,45
+ 230 punten
Verwachte leverdatum onbekend
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

Intends to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.

Specificaties

Betrokkenen

Uitgeverij:

Inhoud

Aantal bladzijden:
153
Reeks:

Eigenschappen

Productcode (EAN):
9780821845769
Verschijningsdatum:
1/12/1994
Uitvoering:
Hardcover
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 230 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE

Tot meer dan 50% korting

op een selectie e-books
E-BOOK ACTIE
E-book kortingen
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.