LIBROS DEL AUTOR: andrei voronkov

5 resultados para LIBROS DEL AUTOR: andrei voronkov

andrei voronkov Eliminar filtro Quitar filtros
  • Rewriting Techniques and Applications
    Andrei Voronkov
    ThisvolumecontainsthepaperspresentedatRTA2008:19thInternationalC- ference on Rewriting Techniques and Applications held July 15-17th in Hag- berg,AustriaandorganisedbytheResearchInstituteonSymbolicComputation. There were 57 submissions. Each submission was reviewed by at least four Programme Committee members. The committee decided to accept 30 papers...
    Disponible

    156,43 €

  • Automated Deduction - CADE-18
    Andrei Voronkov
    The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence ...
    Disponible

    65,04 €

  • Logic Programming and Automated Reasoning
    Andrei Voronkov
    LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing ...
    Disponible

    65,71 €

  • Logic Programming and Automated Reasoning
    Andrei Voronkov
    This volume contains the proceedings of LPAR ’92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of intere...
    Disponible

    65,14 €

  • Logic Programming
    Andrei Voronkov
    This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the volume include: logic programming, automated theorem ...
    Disponible

    65,12 €