- 5 resultaten
laagste prijs: € 28,88, hoogste prijs: € 29,74, gemiddelde prijs: € 29,57
1
Foundations of Equational Logic Programming - Steffen Hölldobler
bestellen
bij Springer.com
€ 28,88
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Steffen Hölldobler:

Foundations of Equational Logic Programming - nieuw boek

ISBN: 9783540482260

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00)
dichtslaan (X)
2
Foundations of Equational Logic Programming - Steffen Hölldobler
bestellen
bij Springer.com
€ 29,74
bestellen
Details en verzending
Gesponsorde link

Steffen Hölldobler:

Foundations of Equational Logic Programming - nieuw boek

ISBN: 9783540482260

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and… Meer...

  - new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
3
Foundations of Equational Logic Programming - Steffen Hölldobler
bestellen
bij Springer.com
€ 29,74
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Steffen Hölldobler:
Foundations of Equational Logic Programming - nieuw boek

ISBN: 9783540482260

Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters Beweistechniken, Lazy Resolution, Logis… Meer...

  - Verzendingskosten: EUR 0.00
dichtslaan (X)
4
Foundations of Equational Logic Programming - Steffen Hölldobler
bestellen
bij Springer.com
€ 29,74
bestellen
Details en verzending
Gesponsorde link
Steffen Hölldobler:
Foundations of Equational Logic Programming - nieuw boek

ISBN: 9783540482260

Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters Beweistechniken, Lazy Resolution, Logis… Meer...

  - Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
5
Foundations of Equational Logic Programming - Steffen Hölldobler
bestellen
bij Springer.com
€ 29,74
bestellen
Details en verzending
Gesponsorde link
Steffen Hölldobler:
Foundations of Equational Logic Programming - nieuw boek

ISBN: 9783540482260

Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters Beweistechniken, Lazy Resolution, Logis… Meer...

  - Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
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
Foundations of Equational Logic Programming
auteur:
Titel:
ISBN:

9783540482260

Gedetalleerde informatie over het boek. - Foundations of Equational Logic Programming


EAN (ISBN-13): 9783540482260
Uitgever: Springer Science+Business Media

Boek bevindt zich in het datenbestand sinds 2017-05-08T08:35:43+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-10-13T16:49:02+02:00 (Amsterdam)
ISBN/EAN: 9783540482260

ISBN - alternatieve schrijfwijzen:
978-3-540-48226-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: hölldobler
Titel van het boek: foundations, logic programming

Gegevens van de uitgever

Auteur: Steffen Hölldobler
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Foundations of Equational Logic Programming
Uitgeverij: Springer; Springer Berlin
256 Bladzijden
Verschijningsjaar: 2005-11-23
Berlin; Heidelberg; DE
Taal: Engels
37,44 € (DE)
38,50 € (AT)
41,50 CHF (CH)
Available
XII, 256 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Beweistechniken; Lazy Resolution; Logisches Programmieren; Proof Techniques; SLDE-Resolution; Semantics for Equational Logic Programs; Semantik Logischer Programme mit Gleichungen; artificial intelligence; logic programming; B; Artificial Intelligence; Formal Languages and Automata Theory; Compilers and Interpreters; Computer Science; Theoretische Informatik; Compiler und Übersetzer; BC

Preliminaries.- Equational Logic Programming.- Universal Unification.- SLDE-Resolution.- Paramodulation.- Universal Unification by Complete Sets of Transformations.- Lazy Resolution and Complete Sets of Inference Rules for Horn Equational Theories.- Conclusion.

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

Laatste soortgelijke boek:
9781441942272 Micromechanics of Heterogeneous Materials (Valeriy Buryachenko)

< naar Archief...