The Resource Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers, Jan Heering ... [et al.], eds

Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers, Jan Heering ... [et al.], eds

Label
Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
Title
Higher-order algebra, logic, and term rewriting
Title remainder
first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
Statement of responsibility
Jan Heering ... [et al.], eds
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
LC call number
QA267
LC item number
.I5785 1993
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1993
http://bibfra.me/vocab/lite/meetingName
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Heering, J
Series statement
Lecture notes in computer science
Series volume
816.
http://library.link/vocab/subjectName
  • Rewriting systems (Computer science)
  • Algebra
  • Logic, Symbolic and mathematical
Label
Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers, Jan Heering ... [et al.], eds
Instantiates
Publication
Bibliography note
Includes bibliographical references
Dimensions
24 cm.
Extent
344 p.
Isbn
9780387582337
Isbn Type
(New York : acid-free paper)
Lccn
94003447
Other physical details
ill.
System control number
(OCoLC)30667008
Label
Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers, Jan Heering ... [et al.], eds
Publication
Bibliography note
Includes bibliographical references
Dimensions
24 cm.
Extent
344 p.
Isbn
9780387582337
Isbn Type
(New York : acid-free paper)
Lccn
94003447
Other physical details
ill.
System control number
(OCoLC)30667008

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...