L3D's Literature Database -- Query Results

	L3D's Literature Database Home \| Show All \| Simple Search \| Advanced Search	Login Quick Search: Field: contains: ...
	1–1 of 1 record found matching your query (RSS):

Search & Display Options

Select All Deselect All

<< 1 >>

|

|

Details

	Record						Links
	Type	Melzer, B.
	Title	Vorbemerkungen zu einer Theorie der Effizienz von Beweisverfahren			Type	Book Chapter
	Year	1971	Publication	Kuenstliche Intelligenz und heuristisches Programmieren	Abbreviated Journal
	Volume		Issue		Pages	15-35
	Keywords	ai, Automatische Beweisfuehrung von Theoremen, deduction, Effizienz, Resolutionsverfahren
	Abstract	-
	Address
	Corporate Author				Thesis
	Publisher	Springer Verlag	Place of Publication		Editor	Findler, N.V.
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN		ISBN		Medium
	Area		Expedition		Conference
	Notes	dk, ISBN 0-387-81282-2			Approved	no
	Call Number	refbase @ user @ Melzer1971			Serial	9135
Permanent link to this record

Select All Deselect All

<< 1 >>

|

|

Details

All Found Records Selected Records:

Save Citations: Format:

Export Records: Format:

CQL Search | Library Search | Show Record | Extract Citations