- 5 Risultati
prezzo più basso: € 53,49, prezzo più alto: € 80,24, prezzo medio: € 62,05
1
Logic, Language, Information and Computation
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Logic, Language, Information and Computation - nuovo libro

2007, ISBN: 9783540734437

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is… Altro …

Nr. 978-3-540-73443-7. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
Chiudere (X)
2
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings - De Queiroz, Ruy (Herausgeber); Leivant, Daniel (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 55,60
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

De Queiroz, Ruy (Herausgeber); Leivant, Daniel (Herausgeber):

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings - nuovo libro

2007, ISBN: 3540734430

2007 Kartoniert / Broschiert Berechenbarkeit, Informatik, Algorithmen und Datenstrukturen, Theoretische Informatik, Künstliche Intelligenz, ErfüllbarkeitsproblemderAussagenlogik; adapti… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
3
Logic, Language, Information and Computation - Leivant, Daniel De Queiroz, Ruy
Ordina
da booklooker.de
€ 67,45
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Leivant, Daniel De Queiroz, Ruy:
Logic, Language, Information and Computation - Prima edizione

2007

ISBN: 9783540734437

edizione con copertina flessibile

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the proceedings … Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
Chiudere (X)
4
Logic Language Information and Computation
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Logic Language Information and Computation - edizione con copertina flessibile

2007, ISBN: 9783540734437

*Logic Language Information and Computation* - 14th International Workshop WoLLIC 2007 Rio de Janeiro Brazil July 2-5 2007 Proceedings. Auflage 2007 / Taschenbuch für 53.49 € / Aus dem Be… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
5
Logic, Language, Information and Computation - Daniel Leivant; Ruy de Queiroz
Ordina
da lehmanns.de
€ 80,24
Ordina
Dettagli & spedizione
Link sponsorizzato
Daniel Leivant; Ruy de Queiroz:
Logic, Language, Information and Computation - edizione con copertina flessibile

2007, ISBN: 9783540734437

14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2007

Costi di spedizione:Does not ship to your country., Costi di spedizione aggiuntivi
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Logic Language Information and Computation
Autore:
Titolo:
ISBN:

9783540734437


This book constitutes the refereed proceedings of the 14th International Workshop on Logic, Language, Information and Computation, WoLLIC 2007, held in Rio de Janeiro, Brazil in July 2007. The 21 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 52 submissions. The papers focus on foundations of computing and programming, novel computation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

Informazioni dettagliate del libro - Logic Language Information and Computation


EAN (ISBN-13): 9783540734437
ISBN (ISBN-10): 3540734430
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2007
Editore: Springer Berlin Heidelberg
363 Pagine
Peso: 0,562 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-10-13T11:55:12+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-12-01T14:40:05+01:00 (Rome)
ISBN/EAN: 9783540734437

ISBN - Stili di scrittura alternativi:
3-540-73443-0, 978-3-540-73443-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : queiroz, leivant daniel, ruy
Titolo del libro: proceedings international workshop, logic language computation, logic computer science, computation 666, brazil, rio janeiro, july, information, logic and language

Dati dell'editore

Autore: Daniel Leivant; Ruy de Queiroz
Titolo: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
Editore: Springer; Springer Berlin
366 Pagine
Anno di pubblicazione: 2007-06-15
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 366 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Erfüllbarkeitsproblem der Aussagenlogik; adaptive functions; algorithhms; algorithm; algorithms; calculi; calculus; classical computability; complexity theory; formal methods; formal verification; fuzzy lo; logic; optimization; verification; algorithm analysis and problem complexity; Theory of Computation; Algorithms; Formal Languages and Automata Theory; Mathematics of Computing; Artificial Intelligence; Algorithmen und Datenstrukturen; Mathematik für Informatiker; Künstliche Intelligenz; EA

A Grammatical Representation of Visibly Pushdown Languages.- Fully Lexicalized Pregroup Grammars.- Bounded Lattice T-Norms as an Interval Category.- Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.- Continuation Semantics for Symmetric Categorial Grammar.- Ehrenfeucht–Fraïssé Games on Linear Orders.- Hybrid Logical Analyses of the Ambient Calculus.- Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination.- On Principal Types of BCK-?-Terms.- A Finite-State Functional Grammar Architecture.- Pregroup Calculus as a Logic Functor.- A Formal Calculus for Informal Equality with Binding.- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.- An Introduction to Context Logic.- Numerical Constraints for XML.- Modules over Monads and Linearity.- Hydra Games and Tree Ordinals.- Spin Networks, Quantum Topology and Quantum Computation.- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.- Computational Interpretations of Classical Linear Logic.- Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures.- Interval Valued QL-Implications.- Behavioural Differential Equations and Coinduction for Binary Trees.- A Sketch of a Dynamic Epistemic Semiring.- A Modal Distributive Law (abstract).- Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing.
< Per archiviare...