Logic Programming
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Véronica Dahl
Kirjasarja: Lecture Notes in Computer Science, osa 4670
Tuote ei saatavilla
Logic Programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!
Haetaan tuotteita...
Teosta "Logic Programming" ei välttämättä ole tällä hetkellä saatavilla Antikvaarista tai teoslistamme on vielä puutteellinen. Katsothan samankaltaiset tuotteet sekä alempaa löytyvät tuote-ehdotuksemme teokseen liittyen. Voit myös lisätä tämän teoksen toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotteita tulee saataville.
Siirry tuotehakuun
Samankaltaiset tuotteet
Tuotteita ei löytynyt. Voit selailla kirjailijan teoksia klikkaamalla kirjailijan nimeä tai etsi muita kirjoja hakukoneemme avulla.
Tiedot
Kustantaja/julkaisija
Springer Berlin Heidelberg
Sidosasu
ISBN
3540746102
9783540746102
Kieli
englanti
Alkuperäinen nimi
-
Kaikki tekijät
Véronica Dahl
Tuotekategoriat
Esittely
s:471:"This book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal. The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.";
Aiheet
Computer science.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Artificial intelligence.
Computer Science.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics).
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computers