Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Logic Programming '88

Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988

Limba englezăengleză
Carte Carte broșată
Carte Logic Programming '88 Tetsunosuke Fujisaki
Codul Libristo: 05274117
Editura Springer, Berlin
This volume contains a selection of papers presented at the Seventh Logic Programming Conference tha... Descrierea completă
? points 125 b
273.99 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Kinderarmut und Konsum als Thema im Sachunterricht? Julia Rehage / Carte Carte broșată
common.buy 240.38 lei
Debussy, Claude - Klavierwerke, Band III. Bd.3 Claude Debussy / Materiale tipărite Note muzicale
common.buy 550.80 lei
Exploradores del Nuevo Mundo Antonio Espino / E-book Adobe ePub DRM
common.buy 105.74 lei
spielt (k)eine Rolle! - Theater der Befreiung nach Augusto Boal als Empowerment-Werkzeug im Kontext von Selbsthilfe. Thomas Haug / Carte Carte broșată
common.buy 142.56 lei
Asesinato Para Principiantes / A Good Girl's Guide to Murder (Spanish Edition) JACKSON HOLLY / Carte Carte broșată
common.buy 74.13 lei
Rüzgarli Tepedeki Dükkan - Sakli Dünya Hikayeleri / Carte Carte broșată
common.buy 68.03 lei
Bis Weihnachten ist's nicht mehr weit ... Elvira Götze / Carte Carte
common.buy 100.62 lei
Top Leftin
Očkovací mafie Helmut Sterz / Carte Copertă tare
common.buy 58.78 lei
MAISON DE PIERRE LOTI (LA) Jean-Pierre Melot / Carte Carte broșată
common.buy 60.29 lei
Connaissance, ignorance, mystère Edgar Morin / Carte Carte broșată
common.buy 53.77 lei
Management strategischer Erfolgsfaktoren Jörg U. Puma / Carte Carte broșată
common.buy 190.82 lei
Pettersson und Findus. Wie Findus zu Pettersson kam Sven Nordqvist / Carte Copertă tare
common.buy 71.93 lei
Sonata, für 2 Gitarren Giovanni Battista Marella / Materiale tipărite Note muzicale
common.buy 95.20 lei
Parzival Wolfram von Eschenbach / Carte Carte broșată
common.buy 210.08 lei
Volumes I, II & III The Clarke/Duke Project Audio Audio CD
common.buy 83.97 lei
Oeuvres Diverses de Guy Allard (Ed.1864) Guy Allard / Carte Carte broșată
common.buy 189.11 lei
Sentido y sensibilidad: (low cost). Edición limitada Jane Austen / Carte Carte broșată
common.buy 92.99 lei
Die Europaische Sozialcharta uroparat / Carte Carte broșată
common.buy 395.89 lei
Education and Elementary Education. the Experience of Popular Exposition of the Basic Principles of Pedagogy and Didactics P. U. / Carte Carte broșată
common.buy 103.13 lei
Live At Brixton '87 Motörhead / Audio Audio CD
common.buy 93.90 lei
Melodías de Auschwitz Simon Laks / Carte Carte broșată
common.buy 67.51 lei
Manual de la sociología del trabajo y de las relaciones laborales Holm-Detlev Köhler / Carte Carte broșată
common.buy 279.21 lei

This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic Programming '88
Autor Tetsunosuke Fujisaki, Koichi Furukawa, Hozumi Tanaka
Limba engleză
Legare Carte - Carte broșată
Număr pagini 258
EAN 9783540515647
ISBN 354051564X
Codul Libristo 05274117
Editura Springer, Berlin
Greutatea 488
Dimensiuni 155 x 235 x 14

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Natural language & machine translation
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Little Arthur's History of England Maria Callcott / Carte Carte broșată
common.buy 261.25 lei
Burlesque Jane Briggeman / Carte Carte broșată
common.buy 177.27 lei
Media and Memory in New Shanghai Amanda Lagerkvist / Carte Carte broșată
common.buy 282.72 lei
Arlington National Cemetery George W. Dodge / Carte Carte broșată
common.buy 112.96 lei
Gironimo! Tim Moore / Carte Carte broșată
common.buy 130.92 lei
Death in the Family James Agee / Carte Carte broșată
common.buy 78.55 lei
Baronetage of England, Containing a Genealogical and Historical Account of All the English Baronets Now Existing, with Their Descents, Marriages, and Thomas Wotton / Carte Copertă tare
common.buy 229.24 lei
McClure's Magazine, Volume 9 Anonymous / Carte Copertă tare
common.buy 229.24 lei
Coloring Flower Mandalas Wendy Piersall / Carte Carte broșată
common.buy 57.28 lei
What Psychotherapists Learn from Their Clients Sherry L Hatcher Phd Abpp / Carte Copertă tare
common.buy 136.44 lei
Charenton Chus Pato / Carte Carte broșată
common.buy 98.91 lei
Astigmatism REUBEN BUCKLEY / Carte Copertă tare
common.buy 1 064.88 lei
The Adventures of Paddy the Beaver Thornton W. Burgess / Carte Carte broșată
common.buy 61.89 lei
Little Mormon Jim James Arthur Macknight / Carte Carte broșată
common.buy 82.66 lei
Missing Max Karen Young / Carte Carte broșată
common.buy 103.53 lei
Persecutions Of The Greeks In Turkey Since The Beginning Of The European War (1918) N. Brown Carroll / Carte Carte broșată
common.buy 121.29 lei
Curând
I Went to the Supermarket HOWARD PAUL / Carte Carte broșată
common.buy 40.52 lei
Hosea Christmas Stephanie Reid / Carte Carte broșată
common.buy 89.88 lei
Artificial Intelligence and Fundamental Rights Antje von Ungern-Sternberg / Carte Carte broșată
common.buy 107.94 lei
This Watery Place Heaney / Carte Carte broșată
common.buy 103.73 lei
The intergalactic Veterinarian of the Year! Jeff Collins / Carte Carte broșată
common.buy 91.49 lei
Top
Yachtmaster for Sail and Power: The Essential Manual for Rya Yachtmaster(r) Certificates of Competence Alison Noice / Carte Copertă tare
common.buy 143.26 lei
The Shadow Murders: A Department Q Novel William Frost / Carte Copertă tare
common.buy 107.04 lei
Earl's Bride Joanne Wadsworth / Carte Carte broșată
common.buy 89.08 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?