Cover von A solver for quantified Boolean formulas in negation normal form opens in new tab

A solver for quantified Boolean formulas in negation normal form

Author: Search for this author Seidl, Martina
Statement of Responsibility: Martina Seidl
Year: 2007
Publisher: Wien, Universität
Media group: DISSERTATION
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Diss. SEIDL MARTINA Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

Wien, Universität, Diss., 2007

Details

Author: Search for this author Seidl, Martina
Statement of Responsibility: Martina Seidl
Year: 2007
Publisher: Wien, Universität
opens in new tab
Search for this systematic
Search for this subject type
Description: XII, 128 S.
Search for this character
Media group: DISSERTATION