Automated theorem proving : a logical basis / Donald W. Loveland

• Record Nr.: UNINA990000996400403321
• Autore: Loveland, Donald W.
• Pubbl/distr/stampa: Amsterdam [etc.] : North-Holland, 1978
• ISBN: 0-7204-0499-1
• Descrizione fisica: xii, 405 p. : ill. ; 23 cm
• Collana: Fundamental studies in computer science ; 6
• Locazione: FI1
• Collocazione: 8-128.005
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Capitalismo e territorialità : le diciassette contraddizioni di David Harvey / a cura di Angelo Turco

• Record Nr.: UNINA990010085730403321
• Pubbl/distr/stampa: Roma, : Soc. Geografica, 2015
• Descrizione fisica: p. 367-464 ; 24 cm
• Collana: Bollettino della Società Geografica Italiana , Serie XIII ; 8, 3
• Locazione: ILFGE
• Collocazione: Cons.1 BSGI(008,3)
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Langage et linéarité / / Pierre Cotte

• Record Nr.: UNINA9910557197603321
• Autore: Batt Noëlle
• Pubbl/distr/stampa: Villeneuve d'Ascq, : Presses universitaires du Septentrion, 2021
• ISBN: 2-7574-3460-8
• Descrizione fisica: 1 online resource (224 p.)
• Collana: Sens et Structures
• Altri autori (Persone): CappeauPaul; CottePierre; DelmasClaude; de CarvalhoPaulo; EdelineFrancis; Gary-PrieurMarie-Noëlle; GirardGeneviève; GrunigBlanche-Noëlle; HamzéHassan; HybertieCharlotte; RousseauAndré
• Disciplina: 415; 400
• Soggetti: Order (Grammar)
• Lingua di pubblicazione: Francese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Sommario/riassunto: Le langage est linéaire, mais cela importe t-il ? L’ouvrage consacré à la question, étudie la mise en forme du sens dans l’énonciation, la relation entre le sens et les positions syntaxiques, la (dé)linéarisation des messages.