search result

Cover von Seventeen Provers Under the Hammer

Seventeen Provers Under the Hammer

Year: 2022
Media group: LIPIcs
Cover von Compiler compiler and high speed compilation
proceedings of the workshop, Berlin, Oct. 10 - 14, 1988
Search for this author
Year: 1989
Publisher: Berlin, Akademie der Wiss. der DDR
Series: Informatik; 1989,3
Media group: MONOGRAPHIE
Cover von Compiler compilers
third international workshop : Schwerin, FRG, October 22 - 24, 1990 : proceedings
Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 477
Media group: MONOGRAPHIE
Cover von Compiler compilers and high speed compilation
2nd CCHSC workshop : Berlin, GDR, October 10 - 14, 1988 : proceedings
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 371
Media group: MONOGRAPHIE
Cover von Advances in OLAP; 2
special issue : S. 127 - 256
Search for this author
Year: 2003
Publisher: Amsterdam, North-Holland
Count: 2
Media group: SPECIAL ISSUE
Cover von ACM fourth international workshop on data warehousing and OLAP
in conjunction with the tenth international conference on information and knowledge management, CIKM 2001, November 9, 2001, Atlanta, GA, USA
Search for this author
Year: 2001
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von Logic and visual information
Author: Hammer, Eric M. Search for this author
Year: 1995
Publisher: Cambridge, CSLI
Series: Studies in logic, language and information
Media group: MONOGRAPHIE
Cover von Boolean and pseudo-Boolean functions; 1/3
special issue : S. 1-205
Search for this author
Year: 2004
Publisher: Amsterdam, North-Holland
Count: 1/3
Media group: SPECIAL ISSUE
Cover von Boolean functions and related problems; 1/3
special issue : S. 2 - 363 special issue : S. 1 - 158
Search for this author
Year: 2000
Publisher: Amsterdam, North-Holland
Count: 1/3
Media group: SPECIAL ISSUE
Cover von Special issue on object-oriented real-time systems
Search for this author
Year: 1996
Publisher: San Diego, Academic Press
Series: Journal of parallel and distributed computing : 36. 1996, 1
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0