1.

Record Nr.

UNISA996395563003316

Autore

Marnettè, Mounsieur, <17th cent.>

Titolo

The perfect cook [[electronic resource] ] : being the most exact directions for the making all kind of pastes, with the perfect way teaching how to raise, season, and make all sorts of pies, pasties, tarts and florentines, &c. now practised by the most famous and expert cooks both French and English.  As also the perfect English cook or right method of the whole art of cookery with the true ordering of French, Spanish and Italian kickshaws, with a-la-mode varieties for persons of honour.  To which is added, the way of dressing all manner of flesh, fowl, and fish, and making admirable sauces, after the most refined way of French and English.  The like never extant. / / By Mounsieur Marnette

Pubbl/distr/stampa

London, : Printed for Obadiah Blagrave at the Black Bear and Star in St. Pauls Church-yard, over against the Little North Door, 1686

Descrizione fisica

[12], 213, [3] p. : ill

Soggetti

Cookery, French

Cookery, English

Pastry

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Each part preceded by half-titles: The French pastry cook; The perfect English cook.

Publisher's advertisements [3] p. at end.

Imperfect: stained, with loss of text.

Reproduction of original in: New York Public Library.

Sommario/riassunto

eebo-0103



2.

Record Nr.

UNISA996465939703316

Titolo

Automated Deduction in Geometry [[electronic resource] ] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers / / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011

ISBN

3-642-25070-X

Edizione

[1st ed. 2011.]

Descrizione fisica

1 online resource (X, 259 p.)

Collana

Lecture Notes in Artificial Intelligence ; ; 6877

Disciplina

516.00285

Soggetti

Artificial intelligence

Computer graphics

Mathematical logic

Computer science—Mathematics

Software engineering

Artificial Intelligence

Computer Graphics

Mathematical Logic and Formal Languages

Symbolic and Algebraic Manipulation

Discrete Mathematics in Computer Science

Software Engineering

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Revised conference papers.

Nota di bibliografia

Includes bibliographical references and index.

Sommario/riassunto

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.