Theoretische Informatik und Logik (E1852) - Inst.f.Computersprachen - TU Wien
Tags: logic, wien, und, computersprachen, logik, informatik, theoretische, inst, logo, informatics, faculty, international, group, html, theory, valid, browser, viewable, appointment, austria, logicum, tuwien, here, collegium, workshop, tbilisi, salzer, term, summer, weller, gusel, sisel, theorietag, dunchev, kausl, slivovsky, computing, gramlich, leitsch, tex,
Logic.at
|
Content Revalency:
Title: 10.00%
Description: 0.00%
Keywords: 0.00% | Document size: 12,535 bytes
Alexa: #839,262 Quantcast: #439,669 More info: Whois - Trace Route - RBL Check |
|
| DMOZ Information |
|
(Austria) Vienna University of Technology Group in Applications of Formal Logic. Top/Science/Math/Logic_and_Foundations/Institutions/Europe http://www.logic.at/ Logic.at has 8 URLs listed in 8 Dmoz categories. Related Sites: Uva.nl , Ac.be , Helsinki.fi , Jussieu.fr , Math-inst.hu , Cas.cz , Ras.ru , Univie.ac.at , Ub.es , Univ-paris1.fr , |
| LOGIC.AT - Site Location | |
| Country/Flag | |
| City/Region/Zip Code | Vienna, Wien, 1100 |
| Organization | Technische Universitat Wien |
| Internet Service Provider | Technische Universitat Wien |
| LOGIC.AT - Domain Information | |
| Domain | logic.at [ Traceroute RBL/DNSBL lookup ] |
| Whois server | whois.nic.at |
| Created | -- |
| Updated | -- |
| Expires | -- |
| Time Left | 0 days 0 hours 0 minutes |
| DNS servers | dobz.net 46.163.73.139 home.dobz.net 213.47.132.43 |
| LOGIC.AT - DNS Information | |
| IP Address | 128.130.175.20 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | tunamee.tuwien.ac.at tunamef.tuwien.ac.at |
| Mail Exchange | mx.logic.tuwien.ac.at mx1.logic.tuwien.ac.at |
| Site Response Header | |
| Response | HTTP/1.1 200 OK |
| Server | Apache/2.2.9 (Debian) mod_fastcgi/2.4.6 mod_jk/1.2.26 PHP/5.2.6-1+lenny8 with Suhosin-Patch mod_python/3.3.1 Python/2.5.2 mod_ssl/2.2.9 OpenSSL/0.9.8g |
| Date | Tue, 20 Apr 2010 10:18:04 GMT |
| Content-Type | text/html; charset=ISO-8859-1 |