To the gates of HAL: A HAL tutorial Full Written Papers Refereed uri icon

Overview

Published in

  • Lecture Notes in Computer Science

Time

Date/time value

  • 2002

Identity

Digital Object Identifier (DOI)

  • 10.1007/3-540-45788-7

International Standard Book Number (ISBN) 13

  • 9783540442332

Additional Document Info

Parent Title

  • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
  • Sixth International Symposium on Functional and Logic Programming

Volume

  • 2441

Publisher

  • Springer Verlag