An edition of Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung (1988)

Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung

by

Erfüllbarkeitsalgorihmen und die Problematik ...
Theodor Lettmann, Theodor Lett ...
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
November 29, 2023 | History
Edit
An edition of Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung (1988)

Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
German
Pages
168

Check nearby libraries

Buy this book

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung
Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung
1988
in German
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Thesis (doctoral)--Universität Fridericiana zu Karlsruhe, 1987.

The Physical Object

Pagination
168 S.
Number of pages
168

ID Numbers

Open Library
OL50069609M
OCLC/WorldCat
46140908

Source records

harvard_bibliographic_metadata record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
November 29, 2023 Created by MARC Bot Imported from harvard_bibliographic_metadata record