> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 ; proceedings Beteiligte: Blackburn, Patrick [Hrsg.] Veranstaltung: TICTTL Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6680 Umfang: XI, 255 S.; Ill., graph. Darst Sprache: Englisch ISBN: 3642213499; 9783642213496 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80063495 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Mathematische Logik > Unterricht Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2017 8 1889 Barcode: 32990337 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden