ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Treffer pro Seite

Treffer 1 - 3 | 3 Treffer

Sortierung

Unbekannt

Admissibility of logical inference rules (1997)

Rybakov, Vladimir V.

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511.3 ; LC QA9 ; Inference ; Logic, Symbolic and mathematical

Seiten: Online-Ressource (617 pages)

ISBN: 9780444895059

URL: http://www.sciencedirect.com/science/bookseries/0049237X/136

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

Unbekannt

Handbook of logic and language (1997)

Benthem, J. F. A. K. van ; Meulen, Alice G. B. ter

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 401/.5113 ; LC QA76.9.N38 ; Linguistics ; Logic, Symbolic and mathematical ; Natural language processing (Computer science) ; Semantics

Seiten: Online-Ressource (xxiii, 1247 pages)

ISBN: 9780444817143

URL: http://www.sciencedirect.com/science/book/9780444817143

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

Unbekannt

Covering Codes (1997)

Cohen, Gérard ; Honkala, Iiro ; Litsyn, Simon

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 003/.54 ; LC QA166.7 ; Combinatorial packing and covering

Seiten: Online-Ressource (xxi, 542 pages)

ISBN: 9780444825117

URL: http://www.sciencedirect.com/science/publication?issn=09246509&volume=54

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

Treffer 1 - 3 | 3 Treffer