LEADER 02100nam a2200421 i 4500 001 991002705049707536 005 20020508204630.0 008 990119s1976 it 000 0 ita d 035 $ab11048335-39ule_inst 035 $aPARLA167504$9ExL 040 $aDip.to Filosofia$bita 082 0 $a150.195 082 04$a155.264 082 0 $a155.633 100 1 $aMiller, Jean Baker$0161313 245 13$aLe donne e la psicoanalisi /$ca cura di Jean Baker Miller 260 $aTorino :$bBoringhieri,$c1976 300 $a286 p. ;$c22 cm 490 0 $aSaggi [Bollati Boringhieri] 500 $aTrad. S. Stefani 650 4$aDonne e psicanalisi 700 1 $aStefani, Silvia 740 0 $aPsychoanalysis and women 907 $a.b11048335$b23-02-17$c28-06-02 912 $a991002705049707536 945 $aLE024 PSN V 26$g1$iLE024N-3182$lle021$nex DUSS$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i1165062x$z01-07-02 945 $aLE005$g1$iLE005A-SN15$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11172770$z28-06-02 945 $aLE005 MF 4 M 27$g1$i2005000202179$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11172757$z28-06-02 945 $aLE005IF XXXI A 79$g1$i2005000111921$lle005$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i11172745$z28-06-02 945 $aLE012 155.264 BAK$g1$i2012000172258$lle012$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i1295181x$z13-11-03 945 $aLE012 155.633 BAK$g2$lle012$nda cancellare$on$pE0.00$q-$rn$sm $t0$u0$v0$w0$x0$y.i12951821$z13-11-03 945 $aLE022 MP 82 G 26$g1$i2022000146500$lle022$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11172769$z28-06-02 945 $aLE022 MP 81 F 53 bis$g2$i2022000151153$lle022$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13538214$z14-06-04 945 $aLE022 MP 81 F 53$g3$i2022000151351$lle022$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13538226$z14-06-04 945 $aLE022 CBS 597$g4$i2022000105231$lle022$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13545322$z22-06-04 996 $aDonne e la psicoanalisi$9858935 997 $aUNISALENTO 998 $a(3)le005$a(2)le012$a(4)le022$ale021$b01-01-99$cm$da $e-$fita$git $h3$i7 LEADER 04744nam 22006255 450 001 9910768459603321 005 20200704215437.0 010 $a3-540-69046-8 024 7 $a10.1007/BFb0027400 035 $a(CKB)1000000000234636 035 $a(SSID)ssj0000321541 035 $a(PQKBManifestationID)11246331 035 $a(PQKBTitleCode)TC0000321541 035 $a(PQKBWorkID)10280350 035 $a(PQKB)10463200 035 $a(DE-He213)978-3-540-69046-7 035 $a(PPN)15520517X 035 $a(EXLCZ)991000000000234636 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods$b[electronic resource] $eInternational Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /$fedited by Didier Galmiche 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XII, 380 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1227 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-62920-3 327 $aMGTP: A model generation theorem prover ? Its advanced features and applications ? -- Three faces of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems for intermediate propositional logics -- Lean induction principles for tableaux -- Tableaux for diagnosis applications -- Free variable tableaux for propositional modal logics -- A sequent calculus for skeptical Default Logic -- A fast saturation strategy for set-theoretic tableaux -- Hintikka multiplicities in matrix decision methods for some propositional modal logics -- Automated natural deduction prover and experiments -- Non-elementary speed-ups in proof length by different variants of classical analytic calculi -- Ordered tableaux: Extensions and applications -- Two loop detection mechanisms: A comparison -- Subgoal alternation in model elimination -- Projection: A unification procedure for tableaux in Conceptual Graphs -- On quasitautologies -- Tableaux methods for access control in distributed systems -- Proving correctness of labeled transition systems by semantic tableaux -- Tableau methods for PA-processes -- A tableau proof system for a mazurkiewicz trace logic with fixpoints -- ileanTAP: An intuitionistic theorem prover -- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models -- A framework for using knowledge in tableau proofs -- A sequent calculus for reasoning in four-valued Description Logics -- Tableaux for functional dependencies and independencies. 330 $aThis book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic. 410 0$aLecture Notes in Artificial Intelligence ;$v1227 606 $aComputer architecture 606 $aArtificial intelligence 606 $aLogic, Symbolic and mathematical 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aComputer architecture. 615 0$aArtificial intelligence. 615 0$aLogic, Symbolic and mathematical. 615 14$aComputer System Implementation. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 676 $a006.3/33 702 $aGalmiche$b Didier$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTABLEAUX '97 906 $aBOOK 912 $a9910768459603321 996 $aAutomated Reasoning with Analytic Tableaux and Related Methods$92556460 997 $aUNINA