- 5 resultaten
laagste prijs: € 17,95, hoogste prijs: € 64,19, gemiddelde prijs: € 41,02
1
bestellen
bij lehmanns.de
€ 64,19
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Kai Brünnler; George Metcalfe:

Automated Reasoning with Analytic Tableaux and Related Methods - pocketboek

2011, ISBN: 9783642221187

20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings, Buch, Softcover, This book constitutes the refereed proceedings of the 20th International Con… Meer...

Verzendingskosten:sofort lieferbar. (EUR 0.00)
dichtslaan (X)
2
Automated Reasoning with Analytic Tableaux and Related Methods - Brünnler, Kai|Metcalfe, George
bestellen
bij AbeBooks.de
€ 20,70
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Brünnler, Kai|Metcalfe, George:

Automated Reasoning with Analytic Tableaux and Related Methods - pocketboek

2011, ISBN: 3642221181

[EAN: 9783642221187], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KüNSTLICHE KI - AI ROBOTER ROBOTIK INDUSTRIEROBOTER MATHEMA… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
dichtslaan (X)
3
Automated Reasoning with Analytic Tableaux and Related Methods - Bruennler, Kai Metcalfe, George
bestellen
bij booklooker.de
€ 17,95
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Bruennler, Kai Metcalfe, George:
Automated Reasoning with Analytic Tableaux and Related Methods - eerste uitgave

2011

ISBN: 9783642221187

pocketboek

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings o… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
dichtslaan (X)
4
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Brünnler, Kai und George Metcalfe
bestellen
bij booklooker.de
€ 43,14
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Brünnler, Kai und George Metcalfe:
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - gebruikt boek

2011, ISBN: 9783642221187

[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Ausg. 2011 10842732/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, Banküberweisung, PayPal, Klarna-… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
dichtslaan (X)
5
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Brünnler, Kai und George Metcalfe
bestellen
bij booklooker.de
€ 59,10
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Brünnler, Kai und George Metcalfe:
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - gebruikt boek

2011, ISBN: 9783642221187

[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Ausg. 2011 10842732/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, Banküberweisung, Kreditkarte, Pa… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
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
Automated Reasoning with Analytic Tableaux and Related Methods
auteur:
Titel:
ISBN:

3642221181


This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011. The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.

Gedetalleerde informatie over het boek. - Automated Reasoning with Analytic Tableaux and Related Methods


EAN (ISBN-13): 9783642221187
ISBN (ISBN-10): 3642221181
Gebonden uitgave
pocket book
Verschijningsjaar: 2011
Uitgever: Springer Berlin
277 Bladzijden
Gewicht: 0,447 kg
Taal: Englisch

Boek bevindt zich in het datenbestand sinds 2007-04-14T12:53:59+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-02-23T17:35:19+01:00 (Amsterdam)
ISBN/EAN: 3642221181

ISBN - alternatieve schrijfwijzen:
3-642-22118-1, 978-3-642-22118-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: brunn, metcalf, georg brun, springer kai, metcalfe
Titel van het boek: table, bern, automated reasoning with analytic tableaux, welcome switzerland, tableau, tablea, kai

Gegevens van de uitgever

Auteur: Kai Brünnler; George Metcalfe
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Uitgeverij: Springer; Springer Berlin
279 Bladzijden
Verschijningsjaar: 2011-06-22
Berlin; Heidelberg; DE
Taal: Engels
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 279 p. 40 illus., 4 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; connection calculus; decision procedures; first-order logic; hybrid logic; proof theory; Artificial Intelligence; Formal Languages and Automata Theory; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Software Engineering; EA

Up-to-date results Fast track conference proceedings State-of-the-art report

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

Laatste soortgelijke boek:
9783030290252 Automated Reasoning with Analytic Tableaux and Related Methods (Herausgegeben:Cerrito, Serenella; Popescu, Andrei)

< naar Archief...