MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph		dblp
dblp
dblp
Editor(s):
de Nivelle, Hansdblp
Not MPII Editor(s):
Ahrendt, Wolfgang
Baumgartner, Peter
BibTeX cite key*:
HillenbrandEtAl2006Disproving
Title, Booktitle
Title*:
Sudokus as Logical Puzzles
Booktitle*:
Disproving'06: Non-Theorems, Non-Validity, Non-Provability
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Seattle, USA
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
10 January 2007
Event End Date:
10 January 2007
Publisher
Name*:
Self publishing
URL:
Address*:
Seattle, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
August
Pages:
2-12
Year*:
2006
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:
Public

Correlation
MPG Unit:
RG1
MPG Subunit:
Appearance:
MPG publications list



BibTeX Entry:

@INPROCEEDINGS{HillenbrandEtAl2006Disproving,
AUTHOR = {Hillenbrand, Thomas and Topic, Dalibor and Weidenbach, Christoph},
 EDITOR = {de Nivelle, Hans},
 TITLE = {Sudokus as Logical Puzzles},
 BOOKTITLE = {Disproving'06: Non-Theorems, Non-Validity, Non-Provability},
 PUBLISHER = {Self publishing},
 YEAR = {2006},
 PAGES = {2--12},
 ADDRESS = {Seattle, USA},
 MONTH = {August},
}

Entry last modified by Christine Kiesel, 04/27/2007
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Christoph Weidenbach		Created
01/10/2007 09:22:42 AM
Revisions
2.
1.
0.

Editor(s)
Christine Kiesel
Roxane Wetzel
Christoph Weidenbach

Edit Dates
06.03.2007 14:36:10
10.01.2007 09:55:01
01/10/2007 09:22:42 AM