LEADER 01412nlm0 22004091i 450 
001 990009245410403321
010   $a9783540735953
035   $a000924541
035   $aFED01000924541
035   $a(Aleph)000924541FED01
035   $a000924541
100   $a20100926d2007----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aAutomated Deduction – CADE-21$bRisorsa elettronica$e21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings$fedited by Frank Pfenning
210   $aBerlin ; Heidelberg$cSpringer$d2007
225 1 $aLecture Notes in Computer Science$x0302-9743$v4603
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aPfenning,$bFrank
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-73595-3
901   $aEB
912   $a990009245410403321
961   $aArtificial intelligence
961   $aArtificial Intelligence (incl. Robotics)
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aAutomated Deduction – CADE-21$9772519
997   $aUNINA

LEADER 01693nam  22005294a 450 
001 9910455780003321
005 20200520144314.0
010   $a1-280-46870-X
010   $a9786610468706
010   $a0-313-01104-4
035   $a(CKB)111087027039332
035   $a(OCoLC)52768150
035   $a(CaPaEBR)ebrary10023080
035   $a(MiAaPQ)EBC3000774
035   $a(Au-PeEL)EBL3000774
035   $a(CaPaEBR)ebr10023080
035   $a(EXLCZ)99111087027039332
100   $a20010718d2002      uy             0
101 0 $aeng
135   $aurcn|||||||||
200 10$aAcademic pathfinders$b[electronic resource] $eknowledge creation and feminist scholarship /$fPatricia J. Gumport
210   $aWestport, Conn. $cGreenwood Press$d2002
215   $a1 online resource (217 p.)
225 1 $aGreenwood studies in higher education,$x1531-8087
311   $a0-313-32096-9 
320   $aIncludes bibliographical references (p. [179]-191) and index.
410  0$aGreenwood studies in higher education.
606   $aWomen college teachers
606   $aWomen college students
606   $aWomen in higher education
606   $aFeminism and education
606   $aLearning and scholarship
608   $aElectronic books.
615  0$aWomen college teachers.
615  0$aWomen college students.
615  0$aWomen in higher education.
615  0$aFeminism and education.
615  0$aLearning and scholarship.
676   $a378/.0082
700   $aGumport$b Patricia J$0879050
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910455780003321
996   $aAcademic pathfinders$91963065
997   $aUNINA