The Collaborative International Dictionary of English v.0.48:

mike \mike\ n. [shortened from microphone.]
   A microphone, the device for converting sound waves into
   electrical energy. [informal]

   Syn: microphone.
        [WordNet 1.5]

WordNet (r) 3.0 (2006):

mike
    n 1: device for converting sound waves into electrical energy
         [syn: microphone, mike]

The Free On-line Dictionary of Computing (30 December 2018):

Micro Interpreter for Knowledge Engineering
MIKE

    (MIKE) An expert system
   shell for teaching purposes, with forward chaining,
   backward chaining, and user-definable conflict resolution
   strategies.  MIKE is written in Edinburgh Prolog.

   Version 2.03.

   [BYTE, Oct 1990].

   (ftp://hcrl.open.ac.uk/pub/software/src/MIKE-v2.03).

   Contact: Marc Eisenstadt, HCRL, Open University.

   (1995-01-10)