Extending the WARREN Abstract Machine to Many-Sorted PROLOG

Extending the WARREN Abstract Machine to Many-Sorted PROLOG
Author :
Publisher :
Total Pages : 0
Release :
ISBN-10 : OCLC:1378132252
ISBN-13 :
Rating : 4/5 ( Downloads)
DOWNLOAD EBOOK
Book Synopsis Extending the WARREN Abstract Machine to Many-Sorted PROLOG by : Hans-Jürgen Bürckert

Download or read book Extending the WARREN Abstract Machine to Many-Sorted PROLOG written by Hans-Jürgen Bürckert and published by . This book was released on 2023 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Extending the WARREN Abstract Machine to Many-Sorted PROLOG Related Books

Extending the WARREN Abstract Machine to Many-Sorted PROLOG
Language: en
Pages: 0

Extending the WARREN Abstract Machine to Many-Sorted PROLOG

Authors: Hans-Jürgen Bürckert
Categories:
Type: BOOK - Published: 2023 - Publisher:

DOWNLOAD EBOOK

Automated Theorem Proving in Software Engineering
Language: en
Pages: 252

Automated Theorem Proving in Software Engineering

Authors: Johann M. Schumann
Categories: Computers
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. Th
Computational Aspects of an Order-Sorted Logic with Term Declarations
Language: en
Pages: 186

Computational Aspects of an Order-Sorted Logic with Term Declarations

Authors: Manfred Schmidt-Schauß
Categories: Computers
Type: BOOK - Published: 1989-09-20 - Publisher: Lecture Notes in Artificial Intelligence

DOWNLOAD EBOOK

Die steigende Zahl von Publikationen und internationalen Kongressen über die schizoaffektiven Psychosen waren Anlaß, dieses Thema erstmalig ausführlich und u
Sorts and Types in Artificial Intelligence
Language: en
Pages: 318

Sorts and Types in Artificial Intelligence

Authors: Ulrich Hedtstück
Categories: Computers
Type: BOOK - Published: 1990-07-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge rep
A Procedural Perspective on the Warren Abstract Machine for Executing Complied Prolog
Language: en
Pages: 226

A Procedural Perspective on the Warren Abstract Machine for Executing Complied Prolog

Authors: Atef Suleiman
Categories: Logic programming
Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK