An account of the value of the estates in the several counties subscribed towards the fund for a national land-bank [[electronic resource] ] : from Thursday the 11th of June, to Saturday the 17th of August, 1695

• Record Nr.: UNISA996389413203316
• Autore: Briscoe John <active 1695.>
• Pubbl/distr/stampa: London, : Printed by John Darby ..., [1695]
• Descrizione fisica: 1 sheet ([1] p.)
• Soggetti: Land banks - England; Broadsides17th century.England
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Signed: John Briscoe.; Date of publication suggested by Wing (2nd ed.).; Reproduction of original in: Guildhall Library (London, England).
• Sommario/riassunto: eebo-0059

Les femmes antiques entre sphère privée et sphère publique : actes du diplôme d'études avancées, Universités de Lausanne et Neuchâtel, 2000-2002 / volume édité par Regula Frei-Stolba, Anne Bielman et Olivier Bianchi

• Record Nr.: UNISALENTO991001149989707536
• Pubbl/distr/stampa: Bern ; New York : P. Lang, 2003
• ISBN: 3906770621
• Descrizione fisica: xviii, 315 p. : ill. ; 23 cm
• Collana: Echo, 1424-3644 ; 2
• Altri autori (Persone): Frei-Stolba, Regulaauthor; Bielman, Anne, 1960-; Bianchi, Olivier
• Disciplina: 900
• Soggetti: Donne - Grecia - Condizioni sociali - Congressi; Donne - Roma - Condizioni sociali - Congressi
• Lingua di pubblicazione: Tedesco; Francese; Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / / edited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

• Record Nr.: UNINA9910485152703321
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
• ISBN: 3-319-62075-4
• Edizione: [1st ed. 2017.]
• Descrizione fisica: 1 online resource (XVIII, 375 p. 81 illus.)
• Collana: Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 10383
• Disciplina: 006.3
• Soggetti: Artificial intelligence; Machine theory; Computer science; Software engineering; Compilers (Computer programs); Computer simulation; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters; Computer Modelling
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Calculemus track: integration of symbolic computation and mechanized reasoning -- Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings -- Systems and Projects track: descriptions of systems and relevant projects as keys research topics.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 10th ; International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.