- 5 resultaten
laagste prijs: € 10,40, hoogste prijs: € 31,00, gemiddelde prijs: € 17,51
1
bestellen
bij Biblio.com
US$ 13,75
(ongeveer € 10,40)
verzending: € 18,001
bestellen
Details aangeboden
Gesponsorde link
Leitsch, Alexander:

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series) - pocketboek

ISBN: 9783540618829

Softcover. Brand New. “International Edition” - ISBN number and front cover may be different in rare cases but contents are same as the US edition. Receive fast within 3-5… Meer...

  - Verzendingskosten: EUR 18.00 Books WorldWide Express
dichtslaan (X)
2
bestellen
bij Biblio.com
US$ 13,75
(ongeveer € 10,40)
verzending: € 18,001
bestellen
Details aangeboden
Gesponsorde link

Leitsch Alexander:

Resolution Calculus - pocketboek

ISBN: 9783540618829

Softcover. Brand New. “International Edition” - ISBN number and front cover may be different in rare cases but contents are same as the US edition. Receive fast within 3-5… Meer...

  - Verzendingskosten: EUR 18.00 Books WorldWide Express
dichtslaan (X)
3
The Resolution Calculus by Alexander Leitsch - Alexander Leitsch
bestellen
bij BetterWorldBooks.com
€ 15,16
bestellen
Details en verzending
Gesponsorde link
Alexander Leitsch:
The Resolution Calculus by Alexander Leitsch - gebruikt boek

ISBN: 9783540618829

This is a completely new presentation of resolution as a logical calculus and basis for computational algorithms and decision procedures. By presenting traditional topics in new ways and … Meer...

used in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
4
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series). - Leitsch, Alexander
bestellen
bij booklooker.de
€ 20,60
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Leitsch, Alexander:
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series). - gebonden uitgave, pocketboek

1996, ISBN: 9783540618829

[PU: Springer], 308 p. 17,1 x 1,9 x 24,8 cm, hardcover. In very good condition. ISBN: 9783540618829, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, [GW: 576g], Offene Rechnun… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Wissenschaftliches Antiquariat Thomas Haker e.K.
dichtslaan (X)
5
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series). - Leitsch, Alexander
bestellen
bij booklooker.de
€ 31,00
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Leitsch, Alexander:
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series). - gebonden uitgave, pocketboek

1996, ISBN: 9783540618829

[PU: Springer], 308 p. 17,1 x 1,9 x 24,8 cm, hardcover. In very good condition. ISBN: 9783540618829, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, [GW: 576g], Offene Rechnun… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Wissenschaftliches Antiquariat Thomas Haker e.K.
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)
auteur:
Titel:
ISBN:

3540618821

Gedetalleerde informatie over het boek. - The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)


EAN (ISBN-13): 9783540618829
ISBN (ISBN-10): 3540618821
Gebonden uitgave
pocket book
Verschijningsjaar: 1996
Uitgever: Springer

Boek bevindt zich in het datenbestand sinds 2007-04-29T20:09:22+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-02-09T16:24:17+01:00 (Amsterdam)
ISBN/EAN: 3540618821

ISBN - alternatieve schrijfwijzen:
3-540-61882-1, 978-3-540-61882-9
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: leitsch
Titel van het boek: resolution calculus, the resolution, austria wien, the computer

Gegevens van de uitgever

Auteur: Alexander Leitsch
Titel: Texts in Theoretical Computer Science. An EATCS Series; The Resolution Calculus
Uitgeverij: Springer; Springer Berlin
300 Bladzijden
Verschijningsjaar: 1996-12-16
Berlin; Heidelberg; DE
Gedrukt / Gemaakt in
Gewicht: 0,585 kg
Taal: Engels
85,55 € (DE)
87,95 € (AT)
106,60 CHF (CH)
Not available, publisher indicates OP

BB; Book; Hardcover, Softcover / Mathematik/Wahrscheinlichkeitstheorie, Stochastik, Mathematische Statistik; Numerische Mathematik; Verstehen; algorithms; calculus; Decision Procederes; Decision; complexity; Resolution; Deduction; B; Computational Mathematics and Numerical Analysis; Computer Science; Computation by Abstract Devices; Mathematical Logic and Foundations; Interfacedesign, Benutzerfreundlichkeit (Usability); Mathematische Grundlagen; Mathematik: Logik; BC; EA

is analyzed in terms of Herbrand complexity, and new concepts like ground projection are used to classify the complexity of refinements. Finally, the method of functional extension is introduced; combined with resolution it gives a computational calculus which is stronger than most others.
This is a completely new presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The book deals with the traditional topics in new ways and gives a systematic treatment of recent research topics. It should become a standard reference.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783642606052 Resolution Calculus (Alexander Leitsch)

< naar Archief...