Streaming af e- og lydbøger Stream e- og lydbøger Prøv gratis

Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceeding

Du sparer 34% fra forlagets pris Du sparer 34% fra forlagets pris
Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceeding
  • Forlagets pris kr. 1.169,95
  • Leveringstid 5-9 hverdage
  • Forventet levering 01-08-2018
Bog, hæftet (kr. 774,95) (kr. 774,95)
  1. Beskrivelse

    This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove".

  2. Yderligere info
    Udgivelsesdato:
    01-04-1994
    Sprog:
    Engelsk
    ISBN13:
    9783540578260
    Sidetal:
    536
    Vægt:
    744 g
    Højde:
    27 mm
    Bredde:
    156 mm
    Længde:
    234 mm
    Forlag:
    Springer
    Mærkat:
    Bog, hæftet
    Format:
    Hæftet
  3. Anmeldelser

    Kundernes boganmeldelser af Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceeding

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.