WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/35403687

Computational Aspects of an Order-Sorted Logic with Term Declarations

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "Order-sorted logic with term declarations"@en

author

contributor

creator

genre

http://schema.org/genre

  • "Ordnungsorientierte Logik"
  • "Electronic books"
  • "Electronic books"@en
  • "Proefschriften (vorm)"

name

http://schema.org/name

  • "Computational Aspects of an Order-Sorted Logic with Term Declarations"
  • "Computational Aspects of an Order-Sorted Logic with Term Declarations"@en
  • "Computational aspects of an order sorted logic with term declarations"
  • "COMPUTATIONAL ASPECTS OF AN ORDER-SORTED LOGIC WITH TERM DECLARATIONS"@it
  • "Computational aspects on order-sorted logic with term declarations"
  • "Computational aspects of an order-sorted logic with term declarations"
  • "Computational aspects of an order-sorted logic with term declarations"@en

workExample