Zustand: Hervorragend | Seiten: 1428 | Sprache: Englisch | Produktart: B�cher | These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

N� de r�f. du vendeur 18647/1

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

Computational Logic - CL 2000 : First International Conference London, UK, July 24-28, 2000 Proceedings

�diteur

Springer

Date de parution

2000

Langue

anglais

ISBN � 10 chiffres

3540677976

ISBN � 13 chiffres

9783540677970

Reliure

Couverture souple

�tat de l'article

Hervorragend

Catalogues du vendeur

B�cher

A propos de ce titre

Synopsis

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Buchpark GmbH
Kr�gerweg 1, Trebbin, 14959, Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Droit de r�tractation

Si vous �tes un consommateur, vous pouvez vous r�tracter du pr�sent contrat dans les conditions indiqu�es ci-dessous. Etre un consommateur signifie �tre une personne physique qui agit � des fins qui n'entrent pas dans le cadre de son activit� commerciale, industrielle, artisanale ou lib�rale.

Informations standardis�es sur la r�tractation

Droit de r�tractation:

Vous avez le droit de vous r�tracter du pr�sent contrat sans donner de motif dans un d�lai de quatorze jours.

Le d�lai de r�tractation expire quatorze jours apr�s le jour o� vous-m�me, ou un tiers autre que le transporteur et d�sign� par vous, prend physiquement possession du dernier bien, lot ou pi�ce.

Pour exercer le droit de r�tractation, vous devez nous Buchpark, Unit B, Enterprise House, Waldeck Road, SL6 8BR, Maidenhead, Berkshire, United Kingdom, +49 03381 79 76 585, notifier votre d�cision de r�tractation du pr�sent contrat au moyen d'une d�claration d�nu�e d'ambigu�t� (par exemple, lettre envoy�e par la poste, t�l�copie ou courrier �lectronique). Vous pouvez utiliser le mod�le de formulaire de r�tractation mais ce n'est pas obligatoire. Vous pouvez �galement remplir et transmettre une d�claration claire � cette fin sur notre site internet � �Vos commandes� dans �Votre compte�. Si vous utilisez cette option, nous vous enverrons sans d�lai un accus� de r�ception de la r�tractation sur un support durable (par exemple, par courriel).

Pour que le d�lai de r�tractation soit respect�, il suffit que vous transmettiez votre communication relative � l'exercice du droit de r�tractation avant l'expiration du d�lai de r�tractation.

Effets de la r�tractation :

En cas de r�tractation de votre part du pr�sent contrat, nous vous rembourserons tous les paiements re�us de vous, y compris les frais de livraison (� l'exception des frais suppl�mentaires d�coulant du fait que vous avez choisi, le cas �ch�ant, un mode de livraison autre que le mode moins co�teux de livraison standard propos� par nous) sans retard excessif et, en tout �tat de cause, au plus tard quatorze jours � compter du jour o� nous sommes inform�s de votre d�cision de r�tractation du pr�sent contrat. Nous proc�derons au remboursement en utilisant le m�me moyen de paiement que celui que vous aurez utilis� pour la transaction initiale, sauf si vous convenez express�ment d'un moyen diff�rent; en tout �tat de cause, ce remboursement n'occasionnera pas de frais pour vous.

Nous pouvons diff�rer le remboursement jusqu'� ce que nous ayons re�u le bien ou jusqu'� ce que vous ayez fourni une preuve d'exp�dition du bien, la date retenue �tant celle du premier de ces faits.

Vous devrez renvoyer ou rendre le bien, � Buchpark, Unit B, Enterprise House, Waldeck Road, SL6 8BR, Maidenhead, Berkshire, United Kingdom, +49 03381 79 76 585, sans retard excessif et, en tout �tat de cause, au plus tard quatorze jours apr�s que vous nous aurez communiqu� votre d�cision de r�tractation du pr�sent contrat. Ce d�lai est r�put� respect� si vous renvoyez le bien avant l'expiration du d�lai de quatorze jours. Vous devrez prendre en charge les frais directs de renvoi du bien. Votre responsabilit� n'est engag�e qu'� l'�gard de la d�pr�ciation du bien r�sultant de manipulations autres que celles n�cessaires pour �tablir la nature, les caract�ristiques et le bon fonctionnement de ce bien.

Exceptions au droit de r�tractation

Le droit de r�tractation ne s'applique pas � :

la fourniture d'un contenu num�rique non fourni sur un support mat�riel (tel qu'un CD ou un DVD), si vous avez accept� au moment de la passation de votre commande que nous commencions la fourniture de celui-ci et renonc� � votre droit de r�tractation ;
la fourniture d'un journal, d'un p�riodique ou d'un magazine, sauf pour les contrats d'abonnement � ces publications.

Formulaire de r�tractation

(A compl�ter et renvoyer seulement si vous souhaitez-vous r�tracter du pr�sent contrat)

A l'attention de : (Buchpark, Unit B, Enterprise House, Waldeck Road, SL6 8BR, Maidenhead, Berkshire, United Kingdom, +49 03381 79 76 585)

Je vous notifie par la pr�sente ma r�tractation du contrat portant sur la vente des produits suivants :

num�ro de commande :

Command� le/re�u le :

Mon nom et mon adresse :

Signature (seulement si ce formulaire est notifi� en version papier) :

Date

Conditions d'exp�dition

Frais d?exp�dition de Allemagne�vers�Etats-Unis

Frais d?exp�dition de Allemagne�vers�Etats-Unis
Quantit� command�e	60 � 60 jours ouvr�s	60 � 60 jours ouvr�s
Premier article	EUR 105.00	EUR 130.00

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.

Informations vendeur d�taill�es