Willkommen bei buch.de !

 

  

Logic Programming. Lecture Notes in Computer Science / Programming and Software Engineering 3668

   von Gopal Gupta, Maurizio Gabbrielli

buch.de-Verkaufsrang:
ISBN-10:
3-540-29208-X
ISBN-13:
978-3-540-29208-1
Erschienen:
2005
Titel voraussichtlich versandfertig innerhalb 3 Wochen.
Aus der Reihe:
«Lecture Notes in Computer Science / Programming and Software Engineering 3668»
Einband:
kartoniert/broschiert
Sonstiges:
XIV, 235 mm
Seitenzahl:
454
Gewicht:
704 g
Auflage:
1st ed.
Erschienen bei:
Springer, Berlin
Herausgeber: Gopal Gupta Mitarbeiter: Gopal Gupta Herausgeber: Maurizio Gabbrielli Mitarbeiter: Maurizio Gabbrielli

Kurzbeschreibung

This book constitutes the refereed proceedings of the 21st International Conference on Logic and Programming, ICLP 2005, held in Barcelona, Spain, in October 2005.
The 25 revised full papers and 15 revised poster papers presented together with 4 invited papers and 7 abstracts of a poster session of a doctoral consortium were carefully reviewed and selected from 104 submissions. The papers cover all issues of current research in logic programming. Extra attention is given to novel applications of logic programming and work providing novel integrations of different areas.



Mehr über...
  • Mehr über:  formal verification, deduction, inductive logic programming, constraint logic programming, computational logics, logic inference, agent-oriented logic programming
  • Mehr von: 
  • Mehr von:  Gopal Gupta, Maurizio Gabbrielli, Springer-Verlag GmbH


  •  


    Bei Videoaufzeichnungen sind Widerruf und Rückgabe gemäß § 8 unserer AGB nicht möglich, wenn die gelieferten Datenträger vom Kunden entsiegelt worden sind.